Tock Embedded OS

Pinned

1. tock Public

   A secure embedded operating system for microcontrollers

   Rust 3.5k 486

2. libtock-c Public

   Userland apps for Tock written in C and C++

   C 42 55

3. tock-www Public

   Tock OS website

   HTML 3 16

4. tockloader Public

   Tool for programming Tock onto hardware boards.

   Python 25 28

5. libtock-rs Public

   Rust userland library for Tock

   Rust 111 71

6. tock-bootloader Public

   Software bootloader for boards running Tock.

   C 11 11