hermit-os / kernel
A Rust-based, lightweight unikernel.
☆1,260Updated 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,754Updated this week
- An experimental pure-Rust x86 bootloader☆1,465Updated last week
- A comparison of operating systems written in Rust☆751Updated last month
- Library to program x86_64 hardware.☆836Updated last month
- Mirror of https://gitlab.redox-os.org/redox-os/relibc☆888Updated this week
- Rusty wrapper for the Unified Extensible Firmware Interface (UEFI). This crate makes it easy to develop Rust software that leverages safe…☆1,388Updated last week
- oreboot is a fork of coreboot, with C removed, written in Rust.☆1,651Updated 3 weeks ago
- Alternative rust compiler (re-implementation)☆2,269Updated last month
- Framework for writing Linux kernel modules in safe Rust☆1,336Updated 4 years ago
- Mirror of https://gitlab.redox-os.org/redox-os/kernel☆685Updated this week
- Tool to create bootable disk images from a Rust OS kernel.☆800Updated last week
- Rust friendly bindings to *nix APIs☆2,770Updated last week
- An implementation and definition of the Rust trait system using a PROLOG-like logic solver☆1,904Updated 3 weeks ago
- Concurrency permutation testing tool for Rust.☆2,297Updated last month
- Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧: closing the semantic gap between…☆2,984Updated 6 months ago
- A teaching operating system written in Rust☆447Updated last week
- MOROS: Obscure Rust Operating System 🦉☆966Updated this week
- Cranelift based backend for rustc☆1,730Updated this week
- The `io_uring` library for Rust☆1,303Updated last month
- An OS kernel written in rust. Non POSIX☆779Updated this week
- Safe Rust bindings to POSIX-ish APIs☆1,641Updated last week
- A minimal Linux kernel module written in rust.☆908Updated 4 years ago
- A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.☆2,283Updated this week
- The sysroot manager that lets you build and customize `std`☆1,111Updated last year
- 🧑🔬 Operating system☆1,436Updated last week
- Raw bindings to platform APIs for Rust☆2,216Updated last week
- A free-range, non-GMO fork of busybox in 100% Rust 🦀☆834Updated last year
- ☆632Updated 5 years ago
- Rust port of Google's SwissTable hash map☆2,595Updated 3 weeks ago
- LLVM tutorial in Rust language☆1,187Updated 11 months ago