vincenthouyi / LakeOS
A L4-like micro-kernel OS written in Rust
☆62Updated last year
Alternatives and similar repositories for LakeOS:
Users that are interested in LakeOS are comparing it to the libraries listed below
- Toy operating system written in Rust☆22Updated last month
- A kernel written in Rust☆93Updated 4 months ago
- Hybrid micro/mono kernel focusing on server performance.☆15Updated last year
- A tiny x86_64 kernel written in Rust.☆81Updated 2 years ago
- My hobby operating system microkernel written in Rust☆44Updated 2 years ago
- LeOS operating system Kernel for AArch64 written in Rust☆80Updated 4 years ago
- A toy OS written in Rust supporting xHCI.☆43Updated last year
- RISC-V OS written in Rust☆140Updated 10 months ago
- A Raspberry Pi OS Kernel in Rust☆34Updated 6 months ago
- Single-address-space capability-based nanokernel☆81Updated last week
- x86_64 OS kernel with completely async userspace and single address space [WIP; but basic kernel functionality implemented]☆31Updated 4 years ago
- A Rust library which is useful to handle xHCI☆44Updated 8 months ago
- Rust implementation of Xinu educational operating system☆33Updated 4 years ago
- ☆29Updated this week
- Rust, cargo and QEMU setup for multi-architecture OS development.☆39Updated 4 years ago
- Rust crate for parsing the limine boot protocol structures.☆55Updated last month
- The Kernel of CharlotteOS☆112Updated 6 months ago
- Ergonomic Rust framework for writing UEFI applications.☆64Updated 3 months ago
- A 64-bit bootloader for RISC-V☆15Updated last year
- An operating system running the Ardaku engine.☆19Updated 2 weeks ago
- Rusty wrappers for Multiboot2.☆122Updated this week
- An object-oriented operating system focused on isolating processes to improve security, portability & scaling☆15Updated last year
- Rust support for seL4 userspace☆147Updated last month
- Basic Rust kernel using Limine☆23Updated last year
- aarch64 stivale2 bootloader☆51Updated 2 years ago
- A hobby x86-64 operating system written in Rust☆137Updated 9 months ago
- Baremetal Embeddable Debugger☆12Updated 3 years ago
- Microkit - A simple operating system framework for the seL4 microkernel☆116Updated 3 weeks ago
- Monolithic kernel, drivers and support libraries for x86_64, riscv64 and m68k.☆92Updated last week
- Build system for OS distributions☆63Updated 2 weeks ago