There are 0 repository under tock-os topic.
OpenSK is an open-source implementation for security keys written in Rust that supports both FIDO U2F and FIDO2 standards.
Examples from the Getting Started with Secure Embedded Systems book.
Embedded systems and OS test host
Interactive text notifications system for micro:bit board & Tock OS