oxidecomputer / tock
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 2 years ago
- Proc macro attributes for Bastion runtime.☆49Updated 3 years ago
- RailCar: Rust implementation of the Open Containers Initiative oci-runtime☆32Updated 3 years ago
- Board support crate for HiFive1 and LoFive boards☆75Updated last year
- Rust implementation of The Update Framework (TUF)☆179Updated 3 months ago
- Find the load at which a benchmark falls over.☆35Updated 4 years ago
- adaptive algorithms for rayon☆39Updated 5 years ago
- A Roughtime secure time sync client and server written in Rust☆129Updated last month
- A (micro) framework for building bare-metal AMP (Asymmetric Multi-Processing) applications☆58Updated 3 years ago
- An experimental implementation of nQUIC in Rust☆31Updated 6 years ago
- build static rust position-independant-executables without any runtime requirements (no libc or ldso)☆42Updated 7 years ago
- A safe and reliable process manager☆43Updated 5 years ago
- A Rust library for using Linux devicemapper☆73Updated last week
- Bare metal Rust support for USB armory MkII devices☆58Updated 4 years ago
- ☆24Updated 2 years ago
- Rust library for NBD (network block device) protocol.☆26Updated last year
- Rust implementation of the NATS nkeys library☆41Updated 7 months ago
- 25519 for Cortex-M4 microcontrollers☆63Updated last year
- Rust bindings for the FreeBSD capsicum framework☆61Updated 5 months ago
- Rust library for sending data to Honeycomb☆23Updated last year
- Sources to the Master's thesis: Safe Kernel Programming with Rust☆54Updated 6 years ago
- ☆47Updated 4 years ago
- Cortex-M Interrupt Move☆26Updated 5 years ago
- Security-oriented protobuf-like serialization format with "Merkleized" content hashing support☆118Updated 2 years ago
- A zero-allocation ring buffer for storing text logs, implemented in Rust☆51Updated 2 years ago
- Kubernetes API client library for Rust☆67Updated 4 months ago
- ☆22Updated 6 years ago
- asynchronous I/O in Rust☆14Updated 8 years ago
- ☆22Updated 8 years ago
- ☆40Updated 5 years ago