oxidecomputer / phbl

Related projects ⓘ

Alternatives and complementary repositories for phbl

• oxidecomputer / propolis
  VMM userspace for illumos bhyve
  ☆178Updated last week
• seL4 / rust-sel4
  Rust support for seL4 userspace
  ☆119Updated last week
• dlrobertson / capsicum-rs
  Rust bindings for the FreeBSD capsicum framework
  ☆61Updated 3 weeks ago
• wcampbell0x2a / backhand
  Library and binaries for the reading, creating, and modification of SquashFS file systems
  ☆119Updated this week
• oxidecomputer / tockilator
  Deducing Tock execution flows from Ibex Verilator traces
  ☆68Updated 2 years ago
• oxidecomputer / crucible
  A storage service.
  ☆175Updated this week
• oxidecomputer / usdt
  Dust your Rust with USDT probes
  ☆86Updated this week
• rust-vmm / seccompiler
  Provides easy-to-use Linux seccomp-bpf jailing.
  ☆78Updated 3 months ago
• ktemkin / usrs
  Universal Serial Rust; a pure-rust library for working with USB devices
  ☆103Updated last year
• hermit-os / loader
  The Hermit bootloader.
  ☆68Updated this week
• NLnetLabs / ploutos
  Reusable packaging workflow for Rust projects
  ☆26Updated last week
• oxidecomputer / pki-playground
  Tool for generating non-trivial X.509 certificate chains
  ☆29Updated 4 months ago
• landlock-lsm / rust-landlock
  A Rust library for the Linux Landlock sandboxing feature
  ☆91Updated last month
• jamesmunns / cassette
  A simple, single-future, non-blocking executor intended for building state machines. Designed to be no-std and embedded friendly.
  ☆81Updated 6 months ago
• varlink / rust
  Rust implementation of the Varlink protocol
  ☆72Updated 4 months ago
• bus1 / r-linux
  Capability-based Linux Runtime
  ☆85Updated 2 years ago
• oxidecomputer / omicron
  Omicron: Oxide control plane
  ☆251Updated this week
• pendulum-project / statime
  Implementation of the Precision Time Protocol (PTP) in Rust
  ☆183Updated this week
• oxidecomputer / maghemite
  A routing stack written in Rust.
  ☆37Updated this week
• au-ts / lionsos
  A secure, fast, and adaptable OS based on the seL4 microkernel
  ☆88Updated this week
• rustls / ktls
  Safer wrappers over ktls-sys
  ☆58Updated last month
• chipsalliance / caliptra-sw
  Caliptra software (ROM, FMC, runtime firmware), and libraries/tools needed to build and test
  ☆94Updated this week
• cbiffle / keybrain
  Drop-in replacement controller for WASD CODE v2B keyboard
  ☆75Updated 4 months ago
• tweedegolf / stackdump
  A set of rust crates for making stack dumps and getting stack traces out of them
  ☆73Updated last year
• auxoncorp / ferros
  A Rust-based userland which also adds compile-time assurances to seL4 development.
  ☆107Updated last year
• cbiffle / debugdb
  DWARF program analysis crate
  ☆16Updated 6 months ago
• cbiffle / lilosdbg
  Prototype debugger for lilos
  ☆21Updated 6 months ago
• hermit-os / uhyve
  A specialized hypervisor for Hermit.
  ☆256Updated this week
• lucab / libsystemd-rs
  A pure-Rust client library to work with systemd
  ☆106Updated 8 months ago
• r3-os / r3
  R3-OS — Experimental static (μITRON-esque) RTOS kernel for deeply embedded systems, testing the limit of Rust's compile-time evaluation a…
  ☆160Updated last year