oxidecomputer / tock
A secure embedded operating system for microcontrollers
☆19Updated 4 years ago
Alternatives and similar repositories for tock:
Users that are interested in tock are comparing it to the libraries listed below
- Deducing Tock execution flows from Ibex Verilator traces☆70Updated 2 years ago
- A Rust library for using Linux devicemapper☆71Updated this week
- Proc macro attributes for Bastion runtime.☆48Updated 3 years ago
- RailCar: Rust implementation of the Open Containers Initiative oci-runtime☆32Updated 3 years ago
- A Roughtime secure time sync client and server written in Rust☆128Updated last month
- Board support crate for HiFive1 and LoFive boards☆76Updated last year
- An experimental implementation of nQUIC in Rust☆30Updated 6 years ago
- Cargo template for developing photon applications☆43Updated 6 years ago
- A (micro) framework for building bare-metal AMP (Asymmetric Multi-Processing) applications☆57Updated 3 years ago
- I'm especially good at expectorating☆27Updated last year
- ☆22Updated 5 years ago
- Rust implementation of the NATS nkeys library☆40Updated 5 months ago
- Bare metal Rust support for USB armory MkII devices☆58Updated 4 years ago
- A collection of common Bluespec interfaces/modules.☆96Updated 10 months ago
- Security-oriented protobuf-like serialization format with "Merkleized" content hashing support☆118Updated 2 years ago
- A stream that generates a merkle tree based on the incoming data.☆52Updated 3 years ago
- Rust implementation of the Varlink protocol☆91Updated last month
- A Rust implementation of Plumtree algorithm☆29Updated 2 weeks ago
- Code generator and library for calling/serving Twirp services in Rust using prost and hyper☆58Updated 2 years ago
- Rust library for NBD (network block device) protocol.☆26Updated 11 months ago
- (getting to be a) hard to kill scalable linearizabe store☆78Updated 9 years ago
- Discover funding links for your project's dependencies.☆68Updated 11 months ago
- secure edge access overlay network for IoT devices☆84Updated 2 years ago
- Embed, extract, and validate capability claims in JWTs for WebAssembly modules☆65Updated last year
- https://crates.io/crates/embed-wasm☆11Updated 4 years ago
- Inject USDT probes into rust code☆48Updated 5 years ago
- scraps of a potential language☆37Updated 3 years ago
- build static rust position-independant-executables without any runtime requirements (no libc or ldso)☆42Updated 6 years ago
- Find the load at which a benchmark falls over.☆35Updated 4 years ago
- Rust implementation of The Update Framework (TUF)☆176Updated last month