metta-systems / vesper
Single-address-space capability-based nanokernel
☆81Updated this week
Alternatives and similar repositories for vesper:
Users that are interested in vesper are comparing it to the libraries listed below
- WIP Port of Rust's std to Minix☆45Updated 5 years ago
- x86_64 OS kernel with completely async userspace and single address space [WIP; but basic kernel functionality implemented]☆31Updated 4 years ago
- Rust implementation of Xinu educational operating system☆33Updated 4 years ago
- My hobby operating system microkernel written in Rust☆44Updated 2 years ago
- A L4-like micro-kernel OS written in Rust☆62Updated last year
- Simple malloc implementation.☆31Updated last month
- A kernel written in Rust☆92Updated 3 months ago
- Rusty wrappers for Multiboot2.☆120Updated this week
- Rust crate for runtime x86 assembler template generation☆20Updated 5 years ago
- A custom OS kernel that followed (then diverged from) Philipp Oppermann's tutorial on writing an OS in Rust☆22Updated last year
- Library to program vga hardware.☆58Updated last year
- ✨ a microkernel in Rust☆39Updated 3 years ago
- Mirror of https://gitlab.redox-os.org/redox-os/bootloader☆47Updated last month
- Provides pre-rasterized characters from the "Noto Sans Mono" font in different sizes and font weights for multiple unicode ranges.☆30Updated last month
- Useful types for dealing with PCI☆34Updated 5 months ago
- Everything related to the practical work/implementation for my Diplom thesis project at TU Dresden.☆43Updated last month
- Experiments in `no_std` cooperative multitasking☆23Updated 6 years ago
- Mirror of https://gitlab.redox-os.org/redox-os/syscall☆33Updated 2 weeks ago
- The Hermit bootloader.☆74Updated this week
- A Rust crate that allows you to match, bind, and pack the individual bits of integers.☆115Updated 4 years ago
- Target "triple" support☆50Updated last month
- Ergonomic Rust framework for writing UEFI applications.☆64Updated 2 months ago
- Mirror of https://gitlab.redox-os.org/redox-os/drivers☆53Updated this week
- Initialization code ("crt0") written in Rust☆70Updated 3 years ago
- Rust library for parsing ACPI tables and interpreting AML☆212Updated 3 weeks ago
- An implementation of ext2 filesystem in Rust☆30Updated 7 years ago
- ☆74Updated 9 months ago
- Using Type-Level Programming in Rust to Make Safer Hardware Abstractions☆52Updated 3 years ago
- Lightning Creations Compiler Frontend for various languages☆119Updated 3 months ago
- 2-8-2, a RISC-V Experimental OS☆28Updated 5 years ago