Kernel for Small Systems Kernel Overview Kernel Startup Basic Kernel Extension Components Debugging and Tools Appendix