Owner

tock

8 indexed repositories · View on GitHub

• tock

  A secure embedded operating system for microcontrollers

  Rust · 6444 stars

• libtock-rs

  Rust userland library for Tock

  Rust · 201 stars

• libtock-c

  Userland apps for Tock written in C and C++

  C · 90 stars

• tockloader

  Tool for programming Tock onto hardware boards.

  Python · 44 stars

• elf2tab

  Tool to create Tock Application Bundles from ELF files.

  Rust · 18 stars

• tock-registers

  Interface and types for defining and manipulating registers and bitfields

  Rust · 12 stars

• book

  Tock Hands-on Guide

  C · 11 stars

• tock-www

  Tock OS website

  HTML · 6 stars