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
- Rust implementation of The Update Framework (TUF)☆182Updated 3 months ago
- A Roughtime secure time sync client and server written in Rust☆141Updated last week
- A Rust library for using Linux devicemapper☆76Updated last week
- VMM userspace for illumos bhyve☆220Updated this week
- Embed, extract, and validate capability claims in JWTs for WebAssembly modules☆67Updated 2 years ago
- 25519 for Cortex-M4 microcontrollers☆66Updated 4 months ago
- An experimental implementation of nQUIC in Rust☆32Updated 7 years ago
- Rust libraries and tools for using and generating TUF repositories☆218Updated 3 weeks ago
- RailCar: Rust implementation of the Open Containers Initiative oci-runtime☆32Updated 4 years ago
- Rust implementation of the NATS nkeys library☆43Updated 7 months ago
- Implementation of the WebAssembly Modules Signatures.☆62Updated last month
- Proc macro attributes for Bastion runtime.☆51Updated 4 years ago
- I'm especially good at expectorating☆29Updated 4 months ago
- Rust library for NBD (network block device) protocol.☆29Updated last year
- Password-Authenticated Key Agreement protocols☆117Updated this week
- A storage service.☆225Updated 2 weeks ago
- build static rust position-independant-executables without any runtime requirements (no libc or ldso)☆42Updated 7 years ago
- Board support crate for HiFive1 and LoFive boards☆75Updated 2 years ago
- Bare metal Rust support for USB armory MkII devices☆60Updated 5 years ago
- Pure Rust YubiKey host-side driver for PIV-based RSA/ECC key storage + signing/encryption support☆254Updated last week
- Pico Host Boot Loader☆117Updated this week
- Deploy self-contained binaries from GCP Container Registry (gcr.io) as systemd service units☆33Updated last year
- Bootstrapping Embedded Development in Rust☆57Updated 6 years ago
- <RPC (HATEOAS) actions on a universally addressable publickey>. Copernica is a transport agnostic, privacy preserving, Information-centri…☆11Updated 3 years ago
- ☆26Updated last year
- Rust-based WebAssembly Host Runtime for waPC-compliant modules☆76Updated 4 years ago
- A routing stack written in Rust.☆71Updated last week
- Read, write, and process RFDs☆85Updated this week
- Cloudflare's implementation of the NTS protocol written in Rust☆177Updated last year