Booting and Debugging SPIN Systems
Bug Museum (Check here for fun bugs from the past)
- Rconsole
- Using Rconsole
- Booting
- Yet another page describing how to boot.
- Useful boot flags
- Things to type at the console prom (such as netboot).
- Using GDB to debug kernels
- Using GDB.
- GNATS
- Report and track bugs.