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.