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
- Bare metal Rust support for USB armory MkII devices☆59Updated 4 years ago
- RailCar: Rust implementation of the Open Containers Initiative oci-runtime☆32Updated 3 years ago
- Proc macro attributes for Bastion runtime.☆50Updated 3 years ago
- A (micro) framework for building bare-metal AMP (Asymmetric Multi-Processing) applications☆61Updated 3 years ago
- Rust implementation of the NATS nkeys library☆41Updated 9 months ago
- Cargo template for developing photon applications☆44Updated 6 years ago
- ☆24Updated 2 years ago
- CLI tool to work with Sled key-value databases.☆42Updated 2 months ago
- Rust-based WebAssembly Host Runtime for waPC-compliant modules☆77Updated 3 years ago
- Logical clocks implementation in Rust☆45Updated 5 years ago
- Find the load at which a benchmark falls over.☆35Updated 4 years ago
- I'm especially good at expectorating☆29Updated last month
- An experimental implementation of nQUIC in Rust☆31Updated 6 years ago
- ☆22Updated 6 years ago
- ☆47Updated 4 years ago
- Rush: Snabb written in Rust☆55Updated 3 years ago
- ☆12Updated 6 months ago
- Generate Rust services from XDR RPC☆29Updated 8 years ago
- Discover funding links for your project's dependencies.☆68Updated last year
- An implementation of https://github.com/google/brotli in rust avoiding the stdlib☆56Updated 2 months ago
- constant-size associative container backed by a simple array☆19Updated last year
- Rust implementation of The Update Framework (TUF)☆180Updated 5 months ago
- Embed, extract, and validate capability claims in JWTs for WebAssembly modules☆67Updated last year
- A Rust library for using Linux devicemapper☆73Updated 3 weeks ago
- Board support crate for HiFive1 and LoFive boards☆75Updated last year
- A low level embedded information retrieval system.☆45Updated 4 years ago
- scraps of a potential language☆37Updated 4 years ago
- ☆12Updated 3 years ago
- Cross-platform Rust wrappers for the USB ID Repository☆24Updated 2 months ago