All Git Users → tock

4 open source projects by tock

[ Open user page on Github ]

Rust userland library for Tock

✭ 79

A secure embedded operating system for microcontrollers

✭ 3,258

rust python Makefile shell c Nix iot embedded kernel arm operating-system microcontroller risc-v mcu cortex-m tock secure-operating-system

An experimental port of the Tock OS to the Teensy 3.6

✭ 21

rust c Makefile python

Ports of Tock for STM32 chips and discovery boards

✭ 21

rust Makefile shell stm32 tock stm32f1

1-4 of 4 user projects