hermit-os / kernel
A Rust-based, lightweight unikernel.
☆1,221Updated this week
Alternatives and similar repositories for kernel:
Users that are interested in kernel are comparing it to the libraries listed below
- Hermit for Rust.☆1,715Updated this week
- Rusty wrapper for the Unified Extensible Firmware Interface (UEFI). This crate makes it easy to develop Rust software that leverages safe…☆1,353Updated this week
- Library to program x86_64 hardware.☆825Updated this week
- Framework for writing Linux kernel modules in safe Rust☆1,340Updated 3 years ago
- An experimental pure-Rust x86 bootloader☆1,430Updated last week
- Mirror of https://gitlab.redox-os.org/redox-os/relibc☆873Updated this week
- oreboot is a fork of coreboot, with C removed, written in Rust.☆1,615Updated this week
- An OS kernel written in rust. Non POSIX☆760Updated last week
- A comparison of operating systems written in Rust☆726Updated 3 months ago
- Rust library for filesystems in userspace (FUSE)☆1,084Updated last year
- Safe Rust bindings to POSIX-ish APIs☆1,530Updated this week
- An implementation and definition of the Rust trait system using a PROLOG-like logic solver☆1,881Updated 2 weeks ago
- ☆631Updated 5 years ago
- The sysroot manager that lets you build and customize `std`☆1,105Updated last year
- Tool to create bootable disk images from a Rust OS kernel.☆778Updated 11 months ago
- Mirror of https://gitlab.redox-os.org/redox-os/kernel☆657Updated this week
- A free-range, non-GMO fork of busybox in 100% Rust 🦀☆820Updated last year
- Rust friendly bindings to *nix APIs☆2,733Updated last week
- Alternative rust compiler (re-implementation)☆2,233Updated last week
- Rust Memory Safety & Undefined Behavior Detection☆1,321Updated 10 months ago
- Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧: closing the semantic gap between…☆2,947Updated 4 months ago
- A minimal Linux kernel module written in rust.☆902Updated 3 years ago
- Cranelift based backend for rustc☆1,676Updated this week
- Runtime for executing procedural macros as WebAssembly☆1,317Updated this week
- Defines the Rust borrow checker.☆1,383Updated 7 months ago
- The Adventures of OS☆530Updated 2 years ago
- 🧑🔬 Operating system☆1,428Updated last year
- An experimental stackless Lua VM implemented in pure Rust☆1,782Updated last month
- The `io_uring` library for Rust☆1,267Updated this week
- Simple tracing (mark and sweep) garbage collector for Rust☆991Updated 2 months ago