Good ressources

Good Links:

• Bosoc kernel, a very simple kernel. http://inferno.cs.univ-paris8.fr/~am/tutorial/os/tutorial00.html
• http://www.osdev.org/wiki/Main_Page
• http://www.acm.uiuc.edu/sigops/roll_your_own/intro.html
• http://www.cs.arizona.edu/projects/xkernel/
• http://www.garycvl.f2s.com/amithlon.html
• A good documentation from BOS homepage.
• A very good video on Linux boot and kernel loading.
• A great collection of resources from Chris Lattner at nondot.org.