SPIN Local Sources
The local tree contains all the tools to build SPIN applications and the
SPIN kernel. The programs built here run on the development machine
running a vendor supplied OS.
- m3
- Using Modula-3 here and elsewhere.
- m3cc
- Backend details.
- m3gdbttd
- Modula-3 debugger
- m3rpcgen
- RPC and M3
- m3tk
- The M3 toolkit
- sieg
- SPIN Interface Extension Generator (how to do system calls)
becker@cs.washington.edu