Tock Embedded OS

Tock is an embedded operating system designed for running multiple concurrent, mutually distrustful applications on low-memory and low-power microcontrollers

Pinned Repositories

book
Tock Hands-on Guide
Language:C10 11 513
elf2tab
Tool to create Tock Application Bundles from ELF files.
Language:Rust15 14 1334
libtock-c
Userland apps for Tock written in C and C++
Language:C82 18 4690
libtock-rs
Rust userland library for Tock
Language:Rust172 22 104110
tock
A secure embedded operating system for microcontrollers
Language:Rust5.6k 120 699717
tock-bootloader
Software bootloader for boards running Tock.
Language:C24 16 1218
tock-stm32
Ports of Tock for STM32 chips and discovery boards
Language:Rust22 11 45
tock-teensy
An experimental port of the Tock OS to the Teensy 3.6
Language:Rust22 11 49
tock-www
Tock OS website
Language:HTML6 12 721
tockloader
Tool for programming Tock onto hardware boards.
Language:Python42 14 4548

Tock Embedded OS's Repositories

tock/tock-sensortag
Port of Tock for the TI SensorTag (unfortunately no MPU)
Language:Rust65