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
- build static rust position-independant-executables without any runtime requirements (no libc or ldso)☆42Updated 7 years ago
- A Rust library for using Linux devicemapper☆73Updated this week
- A Roughtime secure time sync client and server written in Rust☆131Updated 2 months ago
- Rust implementation of The Update Framework (TUF)☆181Updated 6 months ago
- 25519 for Cortex-M4 microcontrollers☆65Updated last year
- Security-oriented protobuf-like serialization format with "Merkleized" content hashing support☆118Updated 2 years ago
- Rust bindings for the FreeBSD capsicum framework☆63Updated last month
- Bootstrapping Embedded Development in Rust☆55Updated 5 years ago
- An experimental implementation of nQUIC in Rust☆31Updated 6 years ago
- RailCar: Rust implementation of the Open Containers Initiative oci-runtime☆32Updated 3 years ago
- Embed, extract, and validate capability claims in JWTs for WebAssembly modules☆67Updated last year
- Board support crate for HiFive1 and LoFive boards☆75Updated last year
- Cloudflare's implementation of the NTS protocol written in Rust☆177Updated last year
- Rust implementation of the NATS nkeys library☆41Updated 3 weeks ago
- Just Use /dev/urandom -- now with more safety at early boot☆59Updated 4 years ago
- <RPC (HATEOAS) actions on a universally addressable publickey>. Copernica is a transport agnostic, privacy preserving, Information-centri…☆11Updated 3 years ago
- VMM userspace for illumos bhyve☆200Updated last week
- Password-Authenticated Key Agreement protocols☆109Updated 2 months ago
- Proc macro attributes for Bastion runtime.☆51Updated 3 years ago
- A storage service.☆203Updated this week
- distributed sagas☆137Updated this week
- Rust-based WebAssembly Host Runtime for waPC-compliant modules☆77Updated 3 years ago
- Pico Host Boot Loader☆111Updated this week
- An implementation of https://github.com/google/brotli in rust avoiding the stdlib☆56Updated 3 months ago
- A (micro) framework for building bare-metal AMP (Asymmetric Multi-Processing) applications☆61Updated 3 years ago
- Dust your Rust with USDT probes☆107Updated this week
- secure edge access overlay network for IoT devices☆85Updated 3 years ago
- example VM monitor using rust-vmm☆28Updated 4 years ago