metta-systems / vesper
Single-address-space capability-based nanokernel
☆75Updated last week
Related projects ⓘ
Alternatives and complementary repositories for vesper
- WIP Port of Rust's std to Minix☆43Updated 4 years ago
- A Raspberry Pi OS Kernel in Rust☆32Updated 3 weeks ago
- x86_64 OS kernel with completely async userspace and single address space [WIP; but basic kernel functionality implemented]☆30Updated 4 years ago
- Rusty wrappers for Multiboot2.☆112Updated 2 weeks ago
- A kernel written in Rust☆91Updated last month
- Provides pre-rasterized characters from the "Noto Sans Mono" font in different sizes and font weights for multiple unicode ranges.☆28Updated 2 weeks ago
- My hobby operating system microkernel written in Rust☆43Updated last year
- Rust, cargo and QEMU setup for multi-architecture OS development.☆36Updated 3 years ago
- The Hermit bootloader.☆70Updated this week
- LeOS operating system Kernel for AArch64 written in Rust☆74Updated 4 years ago
- RISC-V Assembler☆17Updated last year
- A multicore OS for learning, written in Rust☆24Updated 3 years ago
- A hobby x86-64 operating system written in Rust☆128Updated 3 months ago
- Useful types for dealing with PCI☆30Updated last month
- A L4-like micro-kernel OS written in Rust☆52Updated 10 months ago
- Lightning Creations Compiler Frontend for various languages☆115Updated this week
- Main kernel tree☆33Updated 6 years ago
- A tiny x86_64 kernel written in Rust.☆80Updated 2 years ago
- Buddy-alloc is a memory allocator for no-std Rust, used for embedded environments.☆28Updated last week
- Rust implementation of Xinu educational operating system☆33Updated 4 years ago
- Ergonomic Rust framework for writing UEFI applications.☆61Updated 3 months ago
- An operating system running the Ardaku engine.☆15Updated last week
- RISC-V OS written in Rust☆139Updated 5 months ago
- Simple malloc implementation.☆30Updated 10 months ago
- Rust support for seL4 userspace☆121Updated last week
- A custom OS kernel that followed (then diverged from) Philipp Oppermann's tutorial on writing an OS in Rust☆21Updated last year
- Unified interface for type-safe MMIO and CPU register access in Rust☆47Updated 3 years ago
- Research Operating System Kernel☆61Updated this week
- A Rust library which is useful to handle xHCI☆41Updated 2 months ago
- Backtrace support for Rust `no_std` and embedded programs.☆46Updated last year