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

Tock Sensing Board

This tutorial introduces you to building a device using Tock, going from how the kernel starts, to writing a userspace application, to customizing how Tock runs individual applications.

Tutorial Stages

  1. Kernel Startup: How the kernel starts running an initializes the OS.
  2. Application Development: Writing a sensing application.
  3. Kernel Policies: Configuring the kernel to use per-process policies.