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
You Might Also Like
Gen AI apps are built with MongoDB Atlas
MongoDB Atlas is the developer-friendly database used to build, scale, and run gen AI and LLM-powered apps—without needing a separate vector database. Atlas offers built-in vector search, global availability across 115+ regions, and flexible document modeling. Start building AI apps faster, all in one place.
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of Tock OS!