vincenthouyi / LakeOSLinks
A L4-like micro-kernel OS written in Rust
☆67Updated 2 years ago
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☆92Updated last year
- LeOS operating system Kernel for AArch64 written in Rust☆81Updated 5 years ago
- A tiny x86_64 kernel written in Rust.☆84Updated 3 years ago
- My hobby operating system microkernel written in Rust☆46Updated 4 months ago
- Rust, cargo and QEMU setup for multi-architecture OS development.☆41Updated 5 years ago
- A 64-bit bootloader for RISC-V☆16Updated 2 years ago
- A toy OS written in Rust supporting xHCI.☆43Updated last year
- A Raspberry Pi OS Kernel in Rust☆37Updated last year
- Single-address-space capability-based nanokernel☆86Updated this week
- Rusty wrappers for Multiboot2.☆126Updated this week
- Basic Rust kernel using Limine☆23Updated last year
- Toy operating system written in Rust☆24Updated last month
- A Rust library which is useful to handle xHCI☆46Updated last year
- RISC-V OS written in Rust☆141Updated 3 weeks ago
- A (toy) C compiler written in Rust with no dependencies.☆79Updated 8 months ago
- The Hermit bootloader.☆82Updated this week
- ☆37Updated last week
- The Kernel of CharlotteOS☆113Updated last year
- Rust implementation of Xinu educational operating system☆34Updated 5 years ago
- CapROS is an experimental operating system based on object-capabilities, derived from EROS, KeyKOS, and Gnosis. Ports exist for the Intel…☆77Updated 3 years ago
- Rust library for parsing ACPI tables and interpreting AML☆231Updated 3 months ago
- A toy operating system written in Rust on RISC V(rv32im)☆209Updated 2 years ago
- aarch64 stivale2 bootloader☆49Updated 3 years ago
- The development version of the L4Re Microkernel☆157Updated this week
- Library to program vga hardware.☆60Updated 2 years ago
- A hobby x86-64 operating system written in Rust☆145Updated last year
- ☆52Updated 2 months ago
- Microkit - A simple operating system framework for the seL4 microkernel☆170Updated this week
- Novelty hybrid micro+mono kernel, designed to achieve extremely low overhead and memory footprint.☆17Updated this week
- An object-oriented operating system focused on isolating processes to improve security, portability & scaling☆15Updated 2 years ago