oxidecomputer / phbl
Pico Host Boot Loader
☆109Updated last week
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☆192Updated this week
- Rust bindings for the FreeBSD capsicum framework☆61Updated 4 months ago
- Rust support for seL4 userspace☆147Updated last month
- Dust your Rust with USDT probes☆103Updated last week
- Making Hubris available to external applications.☆48Updated 3 months ago
- SSH for Rust, no_std and elsewhere☆67Updated 3 weeks ago
- A Rust-based userland which also adds compile-time assurances to seL4 development.☆115Updated last year
- Deducing Tock execution flows from Ibex Verilator traces☆70Updated 2 years ago
- Tool for generating non-trivial X.509 certificate chains☆30Updated this week
- A storage service.☆195Updated this week
- A Rust library for the Linux Landlock sandboxing feature☆129Updated last week
- The Hermit bootloader.☆75Updated 2 weeks ago
- Universal Serial Rust; a pure-rust library for working with USB devices☆106Updated 2 years ago
- A routing stack written in Rust.☆46Updated this week
- Bootstrapping rustc from source☆100Updated 2 weeks ago
- Prototype debugger for lilos☆23Updated 2 months ago
- userspace nvme driver☆98Updated 7 months ago
- Reusable packaging workflow for Rust projects☆26Updated 3 months ago
- A specialized hypervisor for Hermit.☆263Updated last week
- Rust implementation of the Varlink protocol☆95Updated last month
- Library and binaries for the reading, creating, and modification of SquashFS file systems☆136Updated this week
- Drop-in replacement controller for WASD CODE v2B keyboard☆77Updated 10 months ago
- DWARF program analysis crate☆17Updated last year
- Sources to the Master's thesis: Safe Kernel Programming with Rust☆54Updated 6 years ago
- A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester☆65Updated 8 months ago
- An implementation of libc written in Rust☆285Updated this week
- Exit QEMU with user-defined code☆47Updated last week
- A set of Rust crates to make it easier to interoperate with Linux as a process☆41Updated 2 years ago
- Capability-based Linux Runtime☆88Updated 2 years ago
- R3-OS — Experimental static (μITRON-esque) RTOS kernel for deeply embedded systems, testing the limit of Rust's compile-time evaluation a…☆165Updated 2 years ago