Download
Tock is a secure, embedded operating system designed for microcontrollers and low-power hardware platforms. Written in Rust, it uses a novel kernel architecture where the OS runs a minimal trusted core and all userland code, including device drivers, is sandboxed and isolated. Tock is ideal for IoT devices, wearables, and embedded research projects where reliability and safety are critical. Its capability-based security model and preemptive multitasking allow developers to safely run multiple applications on constrained devices with confidence in memory and fault isolation.
Features
- Rust-based kernel for memory safety and robustness
- Preemptive multitasking and asynchronous execution model
- Isolated userland apps with MPU-based protection
- Secure driver model with minimal trusted code
- Support for ARM Cortex-M and RISC-V architectures
- Low power support for embedded and IoT devices
- Custom build system with board-specific configurations
- Capsule system for modular kernel extensions
- Actively developed with contributions from academia and industry
Project Samples
Categories
Operating SystemsLicense
Apache License V2.0Follow Tock OS
Other Useful Business Software
Build Agents and Models on One Platform
Gemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of Tock OS!
