vincenthouyi / LakeOSLinks
A L4-like micro-kernel OS written in Rust
☆65Updated last year
Alternatives and similar repositories for LakeOS
Users that are interested in LakeOS are comparing it to the libraries listed below
Sorting:
- A toy OS written in Rust supporting xHCI.☆43Updated last year
- A kernel written in Rust☆93Updated 7 months ago
- Single-address-space capability-based nanokernel☆81Updated 2 months ago
- Toy operating system written in Rust☆22Updated 4 months ago
- LeOS operating system Kernel for AArch64 written in Rust☆81Updated 5 years ago
- Rust, cargo and QEMU setup for multi-architecture OS development.☆40Updated 4 years ago
- A Rust library which is useful to handle xHCI☆44Updated 10 months ago
- Rusty wrappers for Multiboot2.☆124Updated last week
- A tiny x86_64 kernel written in Rust.☆82Updated 2 years ago
- My hobby operating system microkernel written in Rust☆45Updated 2 years ago
- RISC-V OS written in Rust☆140Updated last year
- A (toy) C compiler written in Rust with no dependencies.☆70Updated last month
- Basic Rust kernel using Limine☆23Updated last year
- Rust crate for parsing the limine boot protocol structures.☆57Updated last month
- ☆32Updated this week
- Rust library for parsing ACPI tables and interpreting AML☆218Updated 4 months ago
- The Kernel of CharlotteOS☆112Updated 8 months ago
- A 64-bit bootloader for RISC-V☆15Updated last year
- Library to program vga hardware.☆58Updated 2 years ago
- A Raspberry Pi OS Kernel in Rust☆35Updated 8 months ago
- A hobby x86-64 operating system written in Rust☆138Updated 11 months ago
- Novelty hybrid micro+mono kernel, designed to achieve extremely low overhead and memory footprint.☆16Updated this week
- An object-oriented operating system focused on isolating processes to improve security, portability & scaling☆15Updated last year
- The Hermit bootloader.☆77Updated last week
- CapROS is an experimental operating system based on object-capabilities, derived from EROS, KeyKOS, and Gnosis. Ports exist for the Intel…☆54Updated 2 years ago
- Baremetal Embeddable Debugger☆12Updated 3 years ago
- Useful types for dealing with PCI☆33Updated 9 months ago
- Rust implementation of Xinu educational operating system☆34Updated 4 years ago
- Ergonomic Rust framework for writing UEFI applications.☆64Updated 6 months ago
- Microkernel and userspace written in Rust exploring modern ideas☆259Updated last week