nuta / kerla
A new operating system kernel with Linux binary compatibility written in Rust.
โ3,392Updated 5 months ago
Alternatives and similar repositories for kerla:
Users that are interested in kerla are comparing it to the libraries listed below
- A Rust-based, lightweight unikernel.โ1,281Updated this week
- MOROS: Obscure Rust Operating System ๐ฆโ985Updated 2 weeks ago
- Theseus is a modern OS written from scratch in Rust that explores ๐ข๐ง๐ญ๐ซ๐๐ฅ๐ข๐ง๐ ๐ฎ๐๐ฅ ๐๐๐ฌ๐ข๐ ๐ง: closing the semantic gap betweenโฆโ2,999Updated 7 months ago
- Rusty wrapper for the Unified Extensible Firmware Interface (UEFI). This crate makes it easy to develop Rust software that leverages safeโฆโ1,407Updated this week
- Hermit for Rust.โ1,770Updated this week
- Aero is a new modern, experimental, UNIX-like operating system following the monolithic kernel design. Supporting modern PC features suchโฆโ1,215Updated last month
- A comparison of operating systems written in Rustโ762Updated last week
- GCC Front-End for Rustโ2,618Updated this week
- An experimental pure-Rust x86 bootloaderโ1,479Updated last month
- oreboot is a fork of coreboot, with C removed, written in Rust.โ1,669Updated 3 weeks ago
- Alternative rust compiler (re-implementation)โ2,290Updated this week
- An OS kernel written in rust. Non POSIXโ785Updated this week
- Library to program x86_64 hardware.โ843Updated this week
- Sandboxed kernel mode WebAssembly runtime.โ743Updated 5 years ago
- Unix-like OS in Rust inspired by xv6-riscvโ1,543Updated 9 months ago
- A teaching operating system written in Rustโ450Updated last month
- A free-range, non-GMO fork of busybox in 100% Rust ๐ฆโ838Updated 2 years ago
- Framework for writing Linux kernel modules in safe Rustโ1,337Updated 4 years ago
- Mirror of https://gitlab.redox-os.org/redox-os/kernelโ707Updated this week
- RISC-V emulator for CLI and Web written in Rust with WebAssembly. It supports xv6 and Linux (ongoing).โ847Updated 11 months ago
- Interactively Visualizing Ownership and Borrowing for Rustโ2,767Updated last year
- A lightweight, memory-protected, message-passing kernel for deeply embedded systems.โ3,157Updated this week
- ๐งโ๐ฌ Operating systemโ1,439Updated last month
- Rhai - An embedded scripting language for Rust.โ4,552Updated this week
- An x86 bootloader written in Rust.โ524Updated 3 years ago
- The Adventures of OSโ544Updated 2 years ago
- Tool to create bootable disk images from a Rust OS kernel.โ808Updated last month
- libgccjit AOT codegen for rustcโ966Updated last week
- A text editor in โค1024 lines of code, written in Rustโ1,661Updated 2 weeks ago
- RISC-V processor emulator written in Rust+WASMโ656Updated 2 years ago