Small-System Kernel Kernel Overview Kernel Startup Basic Kernel Extended Components Debugging and Tools Appendix