oxidecomputer / phbl
Pico Host Boot Loader
☆106Updated last month
Alternatives and similar repositories for phbl:
Users that are interested in phbl are comparing it to the libraries listed below
- VMM userspace for illumos bhyve☆182Updated this week
- Making Hubris available to external applications.☆46Updated 2 weeks ago
- Rust support for seL4 userspace☆131Updated this week
- Deducing Tock execution flows from Ibex Verilator traces☆70Updated 2 years ago
- Universal Serial Rust; a pure-rust library for working with USB devices☆106Updated 2 years ago
- Bootstrapping rustc from source☆89Updated 3 weeks ago
- Rust bindings for the FreeBSD capsicum framework☆62Updated 2 months ago
- A storage service.☆181Updated this week
- A Rust-based userland which also adds compile-time assurances to seL4 development.☆111Updated last year
- Dust your Rust with USDT probes☆101Updated this week
- Reusable packaging workflow for Rust projects☆26Updated last month
- Rust implementation of the Varlink protocol☆90Updated last month
- A routing stack written in Rust.☆43Updated this week
- A Rust library for the Linux Landlock sandboxing feature☆98Updated last week
- Capability-based Linux Runtime☆87Updated 2 years ago
- SSH for Rust, no_std and elsewhere☆46Updated 2 months ago
- A simple, single-future, non-blocking executor intended for building state machines. Designed to be no-std and embedded friendly.☆81Updated 10 months ago
- Tiny Rust Async Linux Executor☆83Updated last week
- A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester☆64Updated 6 months ago
- Library and binaries for the reading, creating, and modification of SquashFS file systems☆125Updated this week
- Prototype debugger for lilos☆21Updated 2 weeks ago
- The Hermit bootloader.☆74Updated this week
- Caliptra software (ROM, FMC, runtime firmware), and libraries/tools needed to build and test☆104Updated this week
- A specialized hypervisor for Hermit.☆260Updated this week
- A requirements traceability tool☆66Updated this week
- DWARF program analysis crate☆16Updated 9 months ago
- Drop-in replacement controller for WASD CODE v2B keyboard☆77Updated 8 months ago
- Provides easy-to-use Linux seccomp-bpf jailing.☆81Updated last month
- A set of rust crates for making stack dumps and getting stack traces out of them☆76Updated last year
- A pure-Rust client library to work with systemd☆105Updated 11 months ago