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 kernel written in Rust☆92Updated 8 months ago
- My hobby operating system microkernel written in Rust☆45Updated 2 years ago
- A toy OS written in Rust supporting xHCI.☆43Updated last year
- A tiny x86_64 kernel written in Rust.☆82Updated 2 years ago
- Single-address-space capability-based nanokernel☆82Updated last month
- Toy operating system written in Rust☆22Updated 2 weeks ago
- Basic Rust kernel using Limine☆23Updated last year
- LeOS operating system Kernel for AArch64 written in Rust☆82Updated 5 years ago
- Rusty wrappers for Multiboot2.☆125Updated last month
- A Rust library which is useful to handle xHCI☆46Updated 11 months ago
- RISC-V OS written in Rust☆142Updated last year
- A (toy) C compiler written in Rust with no dependencies.☆72Updated 2 months ago
- aarch64 stivale2 bootloader☆52Updated 2 years ago
- Rust implementation of Xinu educational operating system☆34Updated 4 years ago
- ☆31Updated this week
- A simple hobby operating system for the x86-64 architecture☆72Updated 4 years ago
- The mighty 64-bit kernel☆35Updated 3 weeks ago
- A 64-bit bootloader for RISC-V☆15Updated last year
- CapROS is an experimental operating system based on object-capabilities, derived from EROS, KeyKOS, and Gnosis. Ports exist for the Intel…☆55Updated 3 years ago
- Library to program vga hardware.☆59Updated 2 years ago
- The Kernel of CharlotteOS☆112Updated 9 months ago
- Rust crate for parsing the limine boot protocol structures.☆58Updated last week
- Rust library for parsing ACPI tables and interpreting AML☆223Updated 5 months ago
- Microkit - A simple operating system framework for the seL4 microkernel☆130Updated this week
- ☆51Updated this week
- Build system for OS distributions☆65Updated last week
- Microkernel and userspace written in Rust exploring modern ideas☆260Updated last month
- Rust support for seL4 userspace☆163Updated last month
- This repo contains the code of qprofiler which is a tool to profile a guest running on qemu without the need of instrumentation☆31Updated 2 years ago