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
Enterprise-grade ITSM, for every business
Freshservice is an intuitive, AI-powered platform that helps IT, operations, and business teams deliver exceptional service without the usual complexity. Automate repetitive tasks, resolve issues faster, and provide seamless support across the organization. From managing incidents and assets to driving smarter decisions, Freshservice makes it easy to stay efficient and scale with confidence.
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of Tock OS!
