Getting Started

Compile and flash the Tock kernel and an application onto a supported board. This covers how to get the toolchain setup on your platform to start using and developing Tock.

Design

Tock’s architecture is unique in providing isolation in the kernel using a language sandbox. Kernel components, like drivers and virtualization layers, are protected from each other with no resource overhead.

Walkthrough

An end-to-end walkthrough of how Tock boots and runs a simple app. Reviews the responsibilities of each crate, the system call interface and the user-level library.