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☆68Updated 2 years ago
- Bare metal Rust support for USB armory MkII devices☆57Updated 4 years ago
- 25519 for Cortex-M4 microcontrollers☆62Updated last year
- A Roughtime secure time sync client and server written in Rust☆127Updated 2 months ago
- Prototype debugger for lilos☆21Updated 8 months ago
- RailCar: Rust implementation of the Open Containers Initiative oci-runtime☆32Updated 3 years ago
- The Rust API client for Zoo.☆38Updated this week
- Proc macro attributes for Bastion runtime.☆48Updated 3 years ago
- A (micro) framework for building bare-metal AMP (Asymmetric Multi-Processing) applications☆57Updated 3 years ago
- Cargo template for developing photon applications☆43Updated 6 years ago
- Cortex-M Interrupt Move☆26Updated 4 years ago
- Board support crate for HiFive1 and LoFive boards☆76Updated last year
- Discover funding links for your project's dependencies.☆68Updated 10 months ago
- Corny COBS encode/decode for Rust no_std targets☆20Updated 2 years ago
- A Rust library for using Linux devicemapper☆71Updated this week
- An experimental implementation of nQUIC in Rust☆30Updated 6 years ago
- Rust implementation of the NATS nkeys library☆39Updated 3 months ago
- A #[no_std], allocation-free WebAssembly interpreter written in Rust☆13Updated 5 years ago
- Rust implementation of the Varlink protocol☆81Updated last week
- A Rust implementation of Plumtree algorithm☆28Updated last month
- Example programs in Rust demonstrating how you can program an ARM microcontroller at four different levels of abstraction☆49Updated 6 years ago
- Concise data definition language (RFC 8610) implementation and JSON and CBOR validator in Rust☆93Updated 9 months ago
- ☆22Updated 5 years ago
- LDPC encoding and decoding for Labrador☆35Updated 10 months ago
- An API into the IPFS RPC from Rust☆23Updated 7 years ago
- Pico Host Boot Loader☆106Updated last week
- secure edge access overlay network for IoT devices☆84Updated 2 years ago
- A zero-allocation ring buffer for storing text logs, implemented in Rust☆50Updated last year
- Core abstractions of the Real-Time Interrupt-driven Concurrency (RTIC) framework☆22Updated last year