robert-w-gries / rxinuLinks
Rust implementation of Xinu educational operating system
☆34Updated 5 years ago
Alternatives and similar repositories for rxinu
Users that are interested in rxinu 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
- 2-8-2, a RISC-V Experimental OS☆28Updated 6 years ago
- Single-address-space capability-based nanokernel☆86Updated this week
- My hobby operating system microkernel written in Rust☆46Updated 4 months ago
- LeOS operating system Kernel for AArch64 written in Rust☆81Updated 5 years ago
- A pure-Rust UEFI bootloader☆30Updated 7 years ago
- A learning OS☆52Updated 6 years ago
- WIP Port of Rust's std to Minix☆45Updated 6 years ago
- ✨ a microkernel in Rust☆41Updated 4 years ago
- Toy microkernel and userspace written in Rust, exploring modern ideas☆266Updated 4 months ago
- Rusty wrappers for Multiboot2.☆126Updated 3 weeks ago
- Just hacking around on a toy Rust-based on based on the blog posts at http://blog.phil-opp.com/☆90Updated 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
- Unified interface for type-safe MMIO and CPU register access in Rust☆49Updated 4 years ago
- A kernel written in Rust☆92Updated last year
- A lightweight, secure, multiprocessor bare-metal hypervisor written in Rust for RISC-V☆200Updated last year
- A language-based OS to run Rust on bare metal☆86Updated 9 years ago
- A multicore OS for learning, written in Rust☆25Updated 4 years ago
- Main kernel tree☆33Updated 7 years ago
- C99 (toy) compiler toolchain in Rust (in a weekend, for fun and self-education)☆176Updated 5 years ago
- x86_64 operating system, written in Rust☆33Updated 4 years ago
- Example Rust project for building UEFI applications☆25Updated 7 years ago
- Slab allocator for no_std systems. Uses multiple slabs with blocks of different sizes and makes a linked list from free blocks☆13Updated 2 years ago
- Mirror of https://gitlab.redox-os.org/redox-os/syscall☆38Updated this week
- Experimental kernel for embedded devices written in Rust☆91Updated 3 years ago
- UEFI support library for Rust☆33Updated 7 years ago
- Library to program vga hardware.☆60Updated 2 years ago
- Initialization code ("crt0") written in Rust☆69Updated 4 years ago
- A Raspberry Pi OS Kernel in Rust☆37Updated last year
- Mirror of https://gitlab.redox-os.org/redox-os/drivers☆66Updated last month