vincenthouyi / LakeOSLinks
A L4-like micro-kernel OS written in Rust
☆66Updated last year
Alternatives and similar repositories for LakeOS
Users that are interested in LakeOS are comparing it to the libraries listed below
Sorting:
- Rust, cargo and QEMU setup for multi-architecture OS development.☆40Updated 4 years ago
- A toy OS written in Rust supporting xHCI.☆43Updated last year
- LeOS operating system Kernel for AArch64 written in Rust☆82Updated 5 years ago
- A kernel written in Rust☆92Updated 11 months ago
- My hobby operating system microkernel written in Rust☆45Updated last month
- A tiny x86_64 kernel written in Rust.☆82Updated 3 years ago
- Single-address-space capability-based nanokernel☆84Updated last week
- A Rust library which is useful to handle xHCI☆46Updated last year
- A (toy) C compiler written in Rust with no dependencies.☆76Updated 5 months ago
- Rusty wrappers for Multiboot2.☆125Updated last week
- Toy operating system written in Rust☆24Updated 3 weeks ago
- A 64-bit bootloader for RISC-V☆15Updated last year
- ☆33Updated this week
- Basic Rust kernel using Limine☆23Updated last year
- Rust crate for parsing the limine boot protocol structures.☆59Updated 2 months ago
- Novelty hybrid micro+mono kernel, designed to achieve extremely low overhead and memory footprint.☆16Updated last month
- The Kernel of CharlotteOS☆113Updated last year
- Rust library for parsing ACPI tables and interpreting AML☆229Updated 3 weeks ago
- RISC-V OS written in Rust☆141Updated last year
- tiny aarch64 baremetal OS thingy☆54Updated 6 years ago
- Toy microkernel and userspace written in Rust, exploring modern ideas☆263Updated last month
- CapROS is an experimental operating system based on object-capabilities, derived from EROS, KeyKOS, and Gnosis. Ports exist for the Intel…☆56Updated 3 years ago
- aarch64 stivale2 bootloader☆49Updated 2 years ago
- An object-oriented operating system focused on isolating processes to improve security, portability & scaling☆15Updated 2 years ago
- The development version of the L4Re Microkernel☆146Updated this week
- Library to program vga hardware.☆59Updated 2 years ago
- Rust support for seL4 userspace☆170Updated 2 weeks ago
- Rust implementation of Xinu educational operating system☆34Updated 5 years ago
- Build system for OS distributions☆66Updated 3 weeks ago
- A Raspberry Pi OS Kernel in Rust☆36Updated last year