hermit-os / kernelLinks
A Rust-based, lightweight unikernel.
☆1,296Updated 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,784Updated this week
- Rusty wrapper for the Unified Extensible Firmware Interface (UEFI). This crate makes it easy to develop Rust software that leverages safe…☆1,424Updated this week
- An experimental pure-Rust x86 bootloader☆1,491Updated last month
- Library to program x86_64 hardware.☆852Updated this week
- Mirror of https://gitlab.redox-os.org/redox-os/relibc☆897Updated this week
- Mirror of https://gitlab.redox-os.org/redox-os/kernel☆722Updated this week
- Tool to create bootable disk images from a Rust OS kernel.☆817Updated 2 months ago
- A comparison of operating systems written in Rust☆768Updated 2 weeks ago
- oreboot is a fork of coreboot, with C removed, written in Rust.☆1,683Updated last week
- A minimal Linux kernel module written in rust.☆913Updated 4 years ago
- Framework for writing Linux kernel modules in safe Rust☆1,337Updated 4 years ago
- Rust friendly bindings to *nix APIs☆2,825Updated 3 weeks ago
- The sysroot manager that lets you build and customize `std`☆1,117Updated 2 years ago
- Rust Memory Safety & Undefined Behavior Detection☆1,340Updated last year
- 🧑🔬 Operating system☆1,442Updated this week
- An implementation and definition of the Rust trait system using a PROLOG-like logic solver☆1,928Updated last month
- Concurrency permutation testing tool for Rust.☆2,352Updated last month
- Rust library for filesystems in userspace (FUSE)☆1,103Updated 2 years ago
- Defines the Rust borrow checker.☆1,442Updated 11 months ago
- Alternative rust compiler (re-implementation)☆2,302Updated 3 weeks ago
- Command line helpers for fuzzing☆1,630Updated last month
- An OS kernel written in rust. Non POSIX☆790Updated last week
- Safe Rust bindings to POSIX-ish APIs☆1,693Updated last week
- The `io_uring` library for Rust☆1,377Updated this week
- Parser for Rust source code☆3,083Updated 2 weeks ago
- Simple tracing (mark and sweep) garbage collector for Rust☆1,017Updated last week
- Cranelift based backend for rustc☆1,773Updated this week
- Parsing Expression Grammar (PEG) parser generator for Rust☆1,529Updated this week
- An impish, cross-platform binary parsing crate, written in Rust☆1,297Updated last week
- A teaching operating system written in Rust☆454Updated 2 months ago