Use this page to view source source files for the Xinu operating system as described in the textbook
Operating Systems Design
—
The Xinu Approach
Four views are available:
1.
Source files for all versions, allowing easy comparison
2.
Source files for an ARM version (the BeagleBone Black board)
3.
Source files for an X86 version (the Galileo board)
4.
Source files for another X86 version (the VirtualBox hypervisor)
For questions or suggestions, contact the textbook author:
Douglas Comer
