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
Find Hidden Risks in Windows Task Scheduler
Windows Task Scheduler might be hiding critical failures. Download the free JAMS diagnostic tool to uncover problems before they impact production—get a color-coded risk report with clear remediation steps in minutes.
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of Tock OS!
