Tock Documentation

General kernel documentation is in the Tock Book. Information about Tock policies and development practices is here. This folder also contains documentation on syscall interfaces.

For short tutorials and longer courses on how to use Tock, see the Tock OS Book.

Tock Policies

Interface Details

• Syscall Interfaces - API between userland and the kernel.
• Internal Kernel Interfaces - Hardware Interface Layers (HILs) for kernel components.

Tock Setup and Development

• Getting Started - Installing the Tock toolchain and programming hardware.
• Code Goals - Conventions for Tock development.
• Repository Structure - How the tock/ repo is organized.
• Nested Boards - How Tock supports nesting board platforms.
• Out of Tree Boards - Best practices for maintaining boards not in Tock master.
• Style - Stylistic aspects of Tock code.
• External Dependencies - Policy for including external dependencies.

Management of Tock

• Working Groups - Development groups for specific aspects of Tock.
• Code Review Process - Process for pull request reviews.
• Tock Management - Management processes for Tock, including releases.
• Security Protocol - Procedures for security vulnerability reporting, response, and disclosure.