metta-systems / vesper
Single-address-space capability-based nanokernel
☆74Updated this week
Related projects: ⓘ
- My hobby operating system microkernel written in Rust☆41Updated last year
- WIP Port of Rust's std to Minix☆43Updated 4 years ago
- A kernel written in Rust☆89Updated last year
- A Raspberry Pi OS Kernel in Rust☆32Updated 2 years ago
- A L4-like micro-kernel OS written in Rust☆51Updated 8 months ago
- RISC-V Assembler☆17Updated 10 months ago
- Useful types for dealing with PCI☆30Updated last month
- x86_64 OS kernel with completely async userspace and single address space [WIP; but basic kernel functionality implemented]☆29Updated 4 years ago
- LeOS operating system Kernel for AArch64 written in Rust☆73Updated 4 years ago
- Provides pre-rasterized characters from the "Noto Sans Mono" font in different sizes and font weights for multiple unicode ranges.☆27Updated 2 weeks ago
- 🌀 Microkernel Real-Time Operating System in Rust☆25Updated last year
- Rust implementation of Xinu educational operating system☆33Updated 3 years ago
- Lightning Creations Compiler Frontend for various languages☆107Updated 3 weeks ago
- Rust implementation of an MOS 6502 emulator, intended to be a talking point during the interview process for my Winter 2020 co-op placeme…☆23Updated 10 months ago
- Composable digital logic simulation in Rust!☆31Updated 3 years ago
- A minimal Kernel written in Rust☆43Updated last month
- Rust, cargo and QEMU setup for multi-architecture OS development.☆35Updated 3 years ago
- Rusty wrappers for Multiboot2.☆105Updated this week
- Main kernel tree☆32Updated 6 years ago
- The Hermit bootloader.☆66Updated this week
- Rust crate for runtime x86 assembler template generation☆20Updated 5 years ago
- A tiny x86_64 kernel written in Rust.☆80Updated last year
- UEFI Bytecode Disassembler☆53Updated 2 years ago
- [non-functional] ARMv8-A/RISC-V kernel (with UEFI bootloader)☆47Updated 2 months ago
- Rust support for seL4 userspace☆111Updated last month
- Backtrace support for Rust `no_std` and embedded programs.☆45Updated last year
- An operating system running the Ardaku engine.☆14Updated 6 months ago
- tiny aarch64 baremetal OS thingy☆47Updated 5 years ago
- A complete Risc-v RV32I emulator in Rust☆28Updated 7 months ago
- A Rust-based userland which also adds compile-time assurances to seL4 development.☆106Updated last year