hermit-os / kernel
A Rust-based, lightweight unikernel.
☆1,157Updated this week
Related projects: ⓘ
- Hermit for Rust.☆1,659Updated this week
- An experimental pure-Rust x86 bootloader☆1,353Updated 3 weeks ago
- Rusty wrapper for the Unified Extensible Firmware Interface (UEFI). This crate makes it easy to develop Rust software that leverages safe…☆1,283Updated this week
- Library to program x86_64 hardware.☆785Updated last month
- A comparison of operating systems written in Rust☆695Updated last year
- Mirror of https://gitlab.redox-os.org/redox-os/relibc☆843Updated this week
- Framework for writing Linux kernel modules in safe Rust☆1,330Updated 3 years ago
- Tool to create bootable disk images from a Rust OS kernel.☆735Updated 6 months ago
- Mirror of https://gitlab.redox-os.org/redox-os/kernel☆591Updated this week
- Safe Rust bindings to POSIX-ish APIs☆1,450Updated this week
- Rust library for filesystems in userspace (FUSE)☆1,067Updated last year
- oreboot is a fork of coreboot, with C removed, written in Rust.☆1,554Updated last month
- 🧑🔬 Operating system☆1,427Updated last year
- The `io_uring` library for Rust☆1,158Updated last month
- Rust friendly bindings to *nix APIs☆2,618Updated this week
- Alternative rust compiler (re-implementation)☆2,149Updated this week
- An OS kernel written in rust. Non POSIX☆727Updated 2 months ago
- Raw bindings to platform APIs for Rust☆2,064Updated last week
- A minimal Linux kernel module written in rust.☆896Updated 3 years ago
- Concurrency permutation testing tool for Rust.☆2,082Updated this week
- A teaching operating system written in Rust☆412Updated this week
- Defines the Rust borrow checker.☆1,314Updated 3 months ago
- Cranelift based backend for rustc☆1,572Updated this week
- A free-range, non-GMO fork of busybox in 100% Rust 🦀☆808Updated last year
- A fast bump allocation arena for Rust☆1,396Updated last week
- An impish, cross-platform binary parsing crate, written in Rust☆1,177Updated last month
- Runtime for executing procedural macros as WebAssembly☆1,252Updated 2 months ago
- An implementation and definition of the Rust trait system using a PROLOG-like logic solver☆1,812Updated this week
- The sysroot manager that lets you build and customize `std`☆1,095Updated last year
- An io_uring backed runtime for Rust☆1,106Updated last month