tock-os

There are 1 repository under tock-os topic.

google / OpenSK
OpenSK is an open-source implementation for security keys written in Rust that supports both FIDO U2F and FIDO2 standards.
fido2 u2f security-key rust tock firmware embedded hardware security webauthn ctap2 tock-os opensk
Language:Rust 2982
getting-started-with-secure-embedded-systems
WyliodrinEmbeddedIoT / getting-started-with-secure-embedded-systems
Examples from the Getting Started with Secure Embedded Systems book.
rust-lang tock-os raspberry-pi-pico micro-bit iot security
Language:Rust 12
mdclyburn / clockwise
Embedded systems and OS test host
testing embedded tock-os
Language:Rust 0
gabrielboroghina / microbit-text-notifications
Interactive text notifications system for micro:bit board & Tock OS
embedded-systems microbit rust tock-os
Language:Rust

google / OpenSK