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 provides built-in vector search and a flexible document model so developers can build, scale, and run gen AI apps without stitching together multiple databases. From LLM integration to semantic search, Atlas simplifies your AI architecture—and it’s free to get started.
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of Tock OS!