vincenthouyi / LakeOS
A L4-like micro-kernel OS written in Rust
☆52Updated 10 months ago
Related projects ⓘ
Alternatives and complementary repositories for LakeOS
- Research Operating System Kernel☆61Updated this week
- [non-functional] ARMv8-A/RISC-V kernel (with UEFI bootloader)☆51Updated 4 months ago
- A kernel written in Rust☆91Updated last month
- tiny aarch64 baremetal OS thingy☆49Updated 5 years ago
- ☆24Updated this week
- My hobby operating system microkernel written in Rust☆43Updated last year
- A toy OS written in Rust supporting xHCI.☆40Updated 9 months ago
- Toy operating system written in Rust☆22Updated 2 weeks ago
- Basic Rust kernel using Limine☆24Updated 8 months ago
- An experimental modern general-purpose microkernel OS.☆19Updated last week
- A tiny x86_64 kernel written in Rust.☆80Updated 2 years ago
- A minimal Kernel written in Rust☆43Updated 3 weeks ago
- Single-address-space capability-based nanokernel☆75Updated last week
- Rust crate for parsing the limine boot protocol structures.☆48Updated 2 months ago
- aarch64 stivale2 bootloader☆50Updated last year
- Library to program vga hardware.☆54Updated last year
- Rust, cargo and QEMU setup for multi-architecture OS development.☆36Updated 3 years ago
- A Rust library which is useful to handle xHCI☆41Updated 2 months ago
- A (toy) C compiler written in Rust with no dependencies.☆55Updated 5 months ago
- A Zig library for handling Limine boot protocol structures.☆19Updated 3 months ago
- Baremetal Embeddable Debugger☆10Updated 2 years ago
- The Melon programming language☆37Updated last year
- Build system for OS distributions☆63Updated last week
- An operating system running the Ardaku engine.☆15Updated last week
- Useful types for dealing with PCI☆30Updated last month
- Gaining support for cargo via rustc-wrapper☆26Updated last year
- A Raspberry Pi OS Kernel in Rust☆32Updated 3 weeks ago
- Very minimalistic UEFI boot menu / kernel bootloader☆27Updated last month
- Modern x86_64 UEFI bootloader☆12Updated 3 years ago
- Rust implementation of Xinu educational operating system☆33Updated 4 years ago