metta-systems / vesperLinks
Single-address-space capability-based nanokernel
☆82Updated last month
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]☆31Updated 5 years ago
- My hobby operating system microkernel written in Rust☆45Updated 2 years ago
- A kernel written in Rust☆92Updated 8 months ago
- WIP Port of Rust's std to Minix☆45Updated 5 years ago
- Rust implementation of Xinu educational operating system☆34Updated 4 years ago
- A L4-like micro-kernel OS written in Rust☆66Updated last year
- Provides pre-rasterized characters from the "Noto Sans Mono" font in different sizes and font weights for multiple unicode ranges.☆31Updated last month
- A Raspberry Pi OS Kernel in Rust☆35Updated 10 months ago
- Rusty wrappers for Multiboot2.☆125Updated last month
- LeOS operating system Kernel for AArch64 written in Rust☆82Updated 5 years ago
- Rust crate for runtime x86 assembler template generation☆20Updated 6 years ago
- Everything related to the practical work/implementation for my Diplom thesis project at TU Dresden.☆43Updated 5 months ago
- Composable digital logic simulation in Rust!☆32Updated 4 years ago
- 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☆48Updated 4 years ago
- A tiny x86_64 kernel written in Rust.☆82Updated 2 years ago
- RISC-V Assembler☆18Updated last year
- Embeddable TCL Interpreter for Rust applications☆113Updated 3 years ago
- A custom OS kernel that followed (then diverged from) Philipp Oppermann's tutorial on writing an OS in Rust☆22Updated 2 years ago
- ✨ a microkernel in Rust☆39Updated 3 years ago
- Target "triple" support☆53Updated 6 months ago
- A Rust-based userland which also adds compile-time assurances to seL4 development.☆118Updated 2 years ago
- An aimless attempt at building a PC from scratch, in a vaguely eurorack/modular synth style.☆68Updated 3 years ago
- Initialization code ("crt0") written in Rust☆70Updated 4 years ago
- The Hermit bootloader.☆78Updated 2 weeks ago
- Library to program vga hardware.☆59Updated 2 years ago
- Volatile access to memory mapped hardware registers☆39Updated last year
- Useful types for dealing with PCI☆33Updated 10 months ago
- CLI utility that helps you to calculate indices into the page table from a virtual address. For x86, it outputs the indices into the page…☆21Updated last month
- Ergonomic Rust framework for writing UEFI applications.☆65Updated 7 months ago