oxidecomputer / tockLinks
A secure embedded operating system for microcontrollers
☆19Updated 5 years ago
Alternatives and similar repositories for tock
Users that are interested in tock are comparing it to the libraries listed below
Sorting:
- Deducing Tock execution flows from Ibex Verilator traces☆70Updated 3 years ago
- A Roughtime secure time sync client and server written in Rust☆131Updated 2 weeks ago
- Bare metal Rust support for USB armory MkII devices☆59Updated 4 years ago
- 25519 for Cortex-M4 microcontrollers☆65Updated last year
- Board support crate for HiFive1 and LoFive boards☆75Updated last year
- An experimental implementation of nQUIC in Rust☆32Updated 6 years ago
- ☆22Updated 6 years ago
- <RPC (HATEOAS) actions on a universally addressable publickey>. Copernica is a transport agnostic, privacy preserving, Information-centri…☆11Updated 3 years ago
- Embed, extract, and validate capability claims in JWTs for WebAssembly modules☆67Updated last year
- Rust implementation of The Update Framework (TUF)☆181Updated 6 months ago
- A storage service.☆208Updated this week
- Rust library for NBD (network block device) protocol.☆26Updated last year
- Rust libraries and tools for using and generating TUF repositories☆212Updated last week
- Pure Rust YubiKey host-side driver for PIV-based RSA/ECC key storage + signing/encryption support☆240Updated this week
- VMM userspace for illumos bhyve☆201Updated this week
- packets go in, packets go out, you can't explain that☆54Updated this week
- Pico Host Boot Loader