oxidecomputer / phblLinks
Pico Host Boot Loader
☆114Updated 2 months ago
Alternatives and similar repositories for phbl
Users that are interested in phbl are comparing it to the libraries listed below
Sorting:
- Dust your Rust with USDT probes☆127Updated this week
- SSH for Rust, no_std and elsewhere☆91Updated 2 weeks ago
- Making Hubris available to external applications.☆53Updated 10 months ago
- VMM userspace for illumos bhyve☆210Updated this week
- Universal Serial Rust; a pure-rust library for working with USB devices☆105Updated 2 years ago
- DWARF program analysis crate☆24Updated last year
- A routing stack written in Rust.☆66Updated last week
- Rust support for seL4 userspace☆177Updated last week
- userspace nvme driver☆106Updated 5 months ago
- Deducing Tock execution flows from Ibex Verilator traces☆70Updated 3 years ago
- A Rust library for the Linux Landlock sandboxing feature☆160Updated 2 weeks ago
- Reusable packaging workflow for Rust projects☆26Updated last month
- A Rust-based userland which also adds compile-time assurances to seL4 development.☆118Updated 2 years ago
- Rust implementation of the Varlink protocol☆108Updated 3 weeks ago
- ☆59Updated last month
- TOML deck generator with custom templates and schema validation☆36Updated 2 years ago
- A storage service.☆220Updated last week
- A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester☆66Updated last year
- QEMU QMP and Guest Agent protocol for Rust☆58Updated 3 months ago
- Patina Firmware☆489Updated last week
- Caliptra software (ROM, FMC, runtime firmware), and libraries/tools needed to build and test☆128Updated this week
- A simple, single-future, non-blocking executor intended for building state machines. Designed to be no-std and embedded friendly.☆86Updated last year
- Provides easy-to-use Linux seccomp-bpf jailing.☆103Updated last month
- Library and binaries for the reading, creating, and modification of SquashFS file systems☆150Updated this week
- A requirements traceability tool☆96Updated last week
- An Operating System for Building Small Computers☆298Updated 10 months ago
- Prototype debugger for lilos☆27Updated 8 months ago
- A practical experiment on supply-chain security using reproducible builds☆158Updated 2 years ago
- The Hermit bootloader.☆79Updated last week
- Safer wrappers over ktls-sys☆87Updated 2 months ago