vincenthouyi / LakeOSLinks
A L4-like micro-kernel OS written in Rust
☆63Updated last year
Alternatives and similar repositories for LakeOS
Users that are interested in LakeOS are comparing it to the libraries listed below
Sorting:
- A kernel written in Rust☆93Updated 5 months ago
- Toy operating system written in Rust☆22Updated 2 months 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
- A Rust library which is useful to handle xHCI☆44Updated 8 months ago
- My hobby operating system microkernel written in Rust☆44Updated 2 years ago
- RISC-V OS written in Rust☆140Updated 11 months ago
- A Raspberry Pi OS Kernel in Rust☆34Updated 7 months ago
- Single-address-space capability-based nanokernel☆81Updated last month
- A 64-bit bootloader for RISC-V☆15Updated last year
- Basic Rust kernel using Limine☆23Updated last year
- Baremetal Embeddable Debugger☆12Updated 3 years ago
- Hybrid micro/mono kernel focusing on server performance.☆16Updated this week
- Rust crate for parsing the limine boot protocol structures.☆57Updated last week
- The mighty 64-bit kernel☆35Updated 7 months ago
- A tiny x86_64 kernel written in Rust.☆81Updated 2 years ago
- aarch64 stivale2 bootloader☆51Updated 2 years ago
- An object-oriented operating system focused on isolating processes to improve security, portability & scaling☆15Updated last year
- Hello RISC-V 64!☆17Updated 7 years ago
- Rusty wrappers for Multiboot2.☆124Updated 3 weeks ago
- CapROS is an experimental operating system based on object-capabilities, derived from EROS, KeyKOS, and Gnosis. Ports exist for the Intel…☆52Updated 2 years ago
- ☆30Updated this week
- Build system for OS distributions☆64Updated last month
- Rust, cargo and QEMU setup for multi-architecture OS development.☆39Updated 4 years ago
- Rust implementation of Xinu educational operating system☆34Updated 4 years ago
- Useful types for dealing with PCI☆33Updated 7 months ago
- Library to program vga hardware.☆58Updated last year
- UNIX-like operating system written in C and C++☆91Updated last month
- WIP Port of Rust's std to Minix☆45Updated 5 years ago
- The Hermit bootloader.☆76Updated this week