oxidecomputer / tock
A secure embedded operating system for microcontrollers
☆19Updated 4 years ago
Related projects: ⓘ
- Deducing Tock execution flows from Ibex Verilator traces☆68Updated 2 years ago
- Rust implementation of the Varlink protocol☆61Updated 2 months ago
- A Rust library for using Linux devicemapper☆71Updated last week
- Cargo template for developing photon applications☆43Updated 5 years ago
- Bare metal Rust support for USB armory MkII devices☆58Updated 4 years ago
- RailCar: Rust implementation of the Open Containers Initiative oci-runtime☆32Updated 3 years ago
- Proc macro attributes for Bastion runtime.☆48Updated 2 years ago
- A Roughtime secure time sync client and server written in Rust☆121Updated last month
- Rust bindings for the FreeBSD capsicum framework☆61Updated 3 months ago
- 25519 for Cortex-M4 microcontrollers☆61Updated 10 months ago
- Flexible, stand-alone benchmarking☆17Updated 6 years ago
- ☆30Updated this week
- ☆22Updated 5 years ago
- Kubernetes API client in Rust☆30Updated 4 years ago
- The "http_guest" crate used by Fastly Labs Terrarium https://wasm.fastlylabs.com/☆29Updated 5 years ago
- Sources to the Master's thesis: Safe Kernel Programming with Rust☆50Updated 6 years ago
- I'm especially good at expectorating☆27Updated 8 months ago
- an API server for rustypub☆32Updated 3 weeks ago
- Pico Host Boot Loader☆93Updated 2 weeks ago
- Rust implementation `libsodium/utils`.☆48Updated 3 months ago
- (Rust) A modern DHCP server for IPv4 and IPv6☆19Updated 8 years ago
- A (micro) framework for building bare-metal AMP (Asymmetric Multi-Processing) applications☆56Updated 2 years ago
- TezEdge | Debugger☆18Updated 2 years ago
- Executes programs as sealed anonymous files on Linux☆44Updated 5 months ago
- Generate Rust services from XDR RPC☆29Updated 7 years ago
- Rust library for NBD (network block device) protocol.☆26Updated 5 months ago
- A simple, dumb executor for rust futures in constrained environments.☆18Updated 5 years ago
- Caching layer load balancer.☆43Updated 4 years ago
- Build and verify byte-for-byte reproducible Rust packages using a Cargo-based workflow☆58Updated 3 years ago
- adaptive algorithms for rayon☆38Updated 4 years ago