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.
- Syscall Interfaces - API between userland and the kernel.
- Internal Kernel Interfaces - Hardware Interface Layers (HILs) for kernel components.
- Getting Started - Installing the Tock toolchain and programming hardware.
- Repository Structure - How the tock/ repo is organized.
- 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.
- 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.