oxidecomputer / phblLinks
Pico Host Boot Loader
☆111Updated this week
Alternatives and similar repositories for phbl
Users that are interested in phbl are comparing it to the libraries listed below
Sorting:
- Making Hubris available to external applications.☆50Updated 4 months ago
- Rust bindings for the FreeBSD capsicum framework☆61Updated this week
- Dust your Rust with USDT probes☆104Updated this week
- VMM userspace for illumos bhyve☆198Updated last month
- Deducing Tock execution flows from Ibex Verilator traces☆70Updated 3 years ago
- Rust support for seL4 userspace☆158Updated 2 weeks ago
- SSH for Rust, no_std and elsewhere☆72Updated this week
- Prototype debugger for lilos☆26Updated 3 months ago
- A Rust-based userland which also adds compile-time assurances to seL4 development.☆116Updated last year
- A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester☆68Updated 10 months ago
- Universal Serial Rust; a pure-rust library for working with USB devices☆106Updated 2 years ago
- Reusable packaging workflow for Rust projects☆26Updated this week
- A storage service.☆201Updated 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
- A Rust library for the Linux Landlock sandboxing feature☆138Updated 3 weeks ago
- Bootstrapping rustc from source☆103Updated this week
- A set of rust crates for making stack dumps and getting stack traces out of them☆75Updated last year
- Tool for generating non-trivial X.509 certificate chains☆31Updated this week
- Library and binaries for the reading, creating, and modification of SquashFS file systems☆142Updated this week
- Drop-in replacement controller for WASD CODE v2B keyboard☆77Updated last year
- A routing stack written in Rust.☆49Updated this week
- IETF RFC2217 implementation in Rust☆136Updated last year
- A requirements traceability tool☆74Updated last week
- The Hypatia Type-1 Hypervisor☆13Updated last month
- A pure rust GPT header/partition table library☆43Updated 3 months ago
- Sources to the Master's thesis: Safe Kernel Programming with Rust☆54Updated 6 years ago
- DWARF program analysis crate☆19Updated last year
- The Hermit bootloader.☆77Updated this week
- Rust implementation of the Varlink protocol☆101Updated 2 months ago
- ☆45Updated last month