All Categories → No Category → tock

Top 3 tock open source projects

OpenSK is an open-source implementation for security keys written in Rust that supports both FIDO U2F and FIDO2 standards.

✭ 2,114

rust python shell Makefile security embedded hardware firmware u2f tock webauthn fido2 ctap2 security-key opensk tock-os

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

Ports of Tock for STM32 chips and discovery boards

✭ 21

rust Makefile shell stm32 tock stm32f1

1-3 of 3 tock projects