metta-systems / vesperLinks
Single-address-space capability-based nanokernel
☆86Updated this week
Alternatives and similar repositories for vesper
Users that are interested in vesper are comparing it to the libraries listed below
Sorting:
- x86_64 OS kernel with completely async userspace and single address space [WIP; but basic kernel functionality implemented]☆32Updated 5 years ago
- A kernel written in Rust☆92Updated last year
- WIP Port of Rust's std to Minix☆45Updated 6 years ago
- Rust implementation of Xinu educational operating system☆34Updated 5 years ago
- My hobby operating system microkernel written in Rust☆46Updated 4 months ago
- Rust crate for runtime x86 assembler template generation☆20Updated 6 years ago
- Provides pre-rasterized characters from the "Noto Sans Mono" font in different sizes and font weights for multiple unicode ranges.☆32Updated last week
- Rusty wrappers for Multiboot2.☆126Updated last week
- A L4-like micro-kernel OS written in Rust☆67Updated 2 years ago
- ✨ a microkernel in Rust☆42Updated 4 years ago
- Buddy-alloc is a memory allocator for no-std Rust, used for embedded environments.☆33Updated last year
- The Hermit bootloader.☆82Updated this week
- FerrisGC is a thread safe Garbage Collector implementation for Global (between threads) and Local (per thread) Garbage Collector☆20Updated 5 years ago
- Unified interface for type-safe MMIO and CPU register access in Rust☆49Updated 4 years ago
- Simple malloc implementation.☆33Updated 11 months ago
- RISC-V Assembler☆18Updated 2 years ago
- LeOS operating system Kernel for AArch64 written in Rust☆81Updated 5 years ago
- An aimless attempt at building a PC from scratch, in a vaguely eurorack/modular synth style.☆69Updated 3 years ago
- A tiny x86_64 kernel written in Rust.☆84Updated 3 years ago
- Everything related to the practical work/implementation for my Diplom thesis project at TU Dresden.☆43Updated 11 months ago
- Ergonomic Rust framework for writing UEFI applications.☆71Updated last year
- A collection of custom allocators☆46Updated 8 years ago
- A Rust-based userland which also adds compile-time assurances to seL4 development.☆120Updated 2 years ago
- Raw system calls for Rust☆102Updated 2 years ago
- Modular register allocator algorithms☆105Updated 3 years ago
- A Raspberry Pi OS Kernel in Rust☆37Updated last year
- A compiler from Rust to C, and a checker for unsafe code☆84Updated 6 years ago
- Lightning Creations Compiler Frontend for various languages☆120Updated last year
- A C expression parser and evaluator☆49Updated 2 years ago
- Library to program vga hardware.☆60Updated 2 years ago