Tock Embedded OS's repositories
libtock-rs
Rust userland library for Tock
tockloader
Tool for programming Tock onto hardware boards.
tock-teensy
An experimental port of the Tock OS to the Teensy 3.6
tock-stm32
Ports of Tock for STM32 chips and discovery boards
tock-bootloader
Software bootloader for boards running Tock.
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-sensortag
Port of Tock for the TI SensorTag (unfortunately no MPU)
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.
demo-soil-moisture
Create a soil moisture sensor with Tock.
dev-setup
Scripts and configurations for setting up Tock development environments.
mirrorcheck
Periodically Check Mirrors of Tock-related Files
tock-register-interface
Interface and types for defining and manipulating registers and bitfields