tock / tock Sponsor Star 6.1k Code Issues Pull requests Discussions A secure embedded operating system for microcontrollers rust iot arm microcontroller embedded kernel cortex-m operating-system mcu tock risc-v secure-operating-system Updated Dec 18, 2025 Rust
google / OpenSK Star 3.3k Code Issues Pull requests OpenSK is an open-source implementation for security keys written in Rust that supports both FIDO U2F and FIDO2 standards. rust security embedded hardware firmware u2f tock webauthn fido2 ctap2 security-key opensk tock-os Updated Nov 26, 2025 Rust
tock / tock-stm32 Sponsor Star 23 Code Issues Pull requests Ports of Tock for STM32 chips and discovery boards stm32 tock stm32f1 Updated Jan 22, 2021 Rust
lab11 / hail Star 8 Code Issues Pull requests An IoT development module that supports the Tock operating system. hardware university-project open-hardware ble tock Updated Dec 10, 2018 Rust
JayKickliter / pinetime-tock Star 3 Code Issues Pull requests An out-of-tree port of Tock to the PineTime smart watch pine64 tock smart-watch embedded-rust pinetime Updated Apr 5, 2020 Rust