Tock Embedded OS's repositories
libtock-rs
Rust userland library for Tock
tockloader
Tool for programming Tock onto hardware boards.
tock-bootloader
Software bootloader for boards running Tock.
tock-stm32
Ports of Tock for STM32 chips and discovery boards
tock-teensy
An experimental port of the Tock OS to the Teensy 3.6
design-explorations
Sometimes we write code to test ideas before implementing (or not implementing) them in Tock OS. This repository gives that code a place to live so it can be referred to in the future.
tock-archive
Archive of code phased out of the main Tock repository.
tock-nrf-serialization
nRF51 BLE Serialization for Tock Platform Co-processors.
tockloader-proto-rs
Implements the Tockloader protocol, as a #[no_std] crate.
tock-cheri
A secure embedded operating system for microcontrollers
demo-soil-moisture
Create a soil moisture sensor with Tock.
mirrorcheck
Periodically Check Mirrors of Tock-related Files
rust-project-goals
Rust Project Goals tracker
tock-cheri-old
A WIP variant of Tock that uses CHERI-capabilities for memory protection
tock-hardware-ci
Hardware CI test & support files for the Tock ecosystem
tock-register-interface
Interface and types for defining and manipulating registers and bitfields
tutorial-resources
Support files and resources for Tock tutorials.