hermit-os / kernelLinks
A Rust-based, lightweight unikernel.
☆1,399Updated this week
Alternatives and similar repositories for kernel
Users that are interested in kernel are comparing it to the libraries listed below
Sorting:
- Hermit for Rust.☆1,864Updated this week
- An experimental pure-Rust x86 bootloader☆1,615Updated 3 weeks ago
- Library to program x86_64 hardware.☆907Updated 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,553Updated this week
- A comparison of operating systems written in Rust☆830Updated 3 months ago
- Tool to create bootable disk images from a Rust OS kernel.☆872Updated 3 weeks ago
- Mirror of https://gitlab.redox-os.org/redox-os/kernel☆822Updated last week
- A teaching operating system written in Rust☆476Updated 2 months ago
- oreboot is a fork of coreboot, with C removed, written in Rust.☆1,752Updated 2 months ago
- Mirror of https://gitlab.redox-os.org/redox-os/relibc☆962Updated this week
- An OS kernel written in rust. Non POSIX☆809Updated 6 months ago
- Framework for writing Linux kernel modules in safe Rust☆1,341Updated 4 years ago
- Safe Rust bindings to POSIX-ish APIs☆1,902Updated last month
- The Adventures of OS☆570Updated 3 years ago
- A new operating system kernel with Linux binary compatibility written in Rust.☆3,461Updated last year
- Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧: closing the semantic gap between…☆3,111Updated last year
- 🧑🔬 Operating system☆1,448Updated last month
- MOROS: Obscure Rust Operating System 🦉☆1,047Updated this week
- Rust friendly bindings to *nix APIs☆2,976Updated this week
- A minimal Linux kernel module written in rust.☆919Updated 4 years ago
- The `io_uring` library for Rust☆1,588Updated last month
- Rust library for filesystems in userspace (FUSE)☆1,128Updated 2 years ago
- ☆629Updated 6 years ago
- rust-vmm community content☆578Updated 2 months ago
- LLVM tutorial in Rust language☆1,228Updated last year
- A free-range, non-GMO fork of busybox in 100% Rust 🦀☆857Updated 2 years ago
- Aero is a new modern, experimental, UNIX-like operating system following the monolithic kernel design. Supporting modern PC features such…☆1,245Updated 10 months ago
- Forum for discussion about what unsafe code can and can't do☆729Updated 5 months ago
- Raw bindings to platform APIs for Rust☆2,477Updated this week
- A precise specification for "Rust lite / MIR plus"☆960Updated last week