Keyboard shortcuts

Press or to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

Kernel Development Guides

These guides provide walkthroughs for specific kernel development tasks. For example, there is a guide on how to add a new syscall interface for userspace applications. The guides are intended to be general and provide high-level instructions which will have to be adapted for the specific functionality to be added.

Overtime, these guides will inevitably become out-of-date in that the specific code examples will fail to compile. However, the general design aspects and considerations should still be relevant even if the specific code details have changed. You are encourage to use these guides as just that, a general guide, and to copy from up-to-date examples contained in the Tock repository.

List of Guides:

  1. Chip Peripheral Driver
  2. Sensor Driver
  3. System Call Interface
  4. HIL
  5. Virtualizers
  6. Kernel Tests
  7. Component
  8. Optimize Code Size
  9. Porting Tock
  10. Porting From 1.x to 2.x
  11. VSCode Debugging