mahrz24 / rv6Links
rv6 is a kernel & operating system written entirely in rust.
☆11Updated 6 years ago
Alternatives and similar repositories for rv6
Users that are interested in rv6 are comparing it to the libraries listed below
Sorting:
- K42 Kernel☆31Updated 13 years ago
- Rust implementation of Xinu educational operating system☆34Updated 5 years ago
- A guide to hobbyist operating systems☆61Updated 6 years ago
- Ths project adds a FreeBSD libc, other libs and a runtime to the xv6 kernel☆70Updated 3 years ago
- Reimplementation in ANSI C of Unix v6 + POSIX compliance + VFS + ulibc + ACPI☆68Updated 4 years ago
- Sparc emulator☆11Updated 7 years ago
- The Akaros operating system☆41Updated 5 years ago
- Multi-architecture hobby operating system kernel created in C☆16Updated 6 months ago
- ☆36Updated 11 years ago
- ☆27Updated 2 months ago
- Kitten Lightweight Kernel☆55Updated 2 years ago
- ☆17Updated 2 years ago
- J-Core SoC Base Platfrom. Top level for FPGA platforms, pulls in CPU, BootROM and various IP blocks.☆25Updated 4 years ago
- Bootstrapping VM for bare metal to trusted C compilation☆47Updated last year
- uefi app/bootloader development sandbox☆15Updated 9 years ago
- An 8-bit CPU designed for education☆20Updated 11 years ago
- Assemble 128-bit RISC-V☆46Updated last year
- A tiny 64 bit kernel written in Rust☆51Updated 10 years ago
- Just hacking around on a toy Rust-based on based on the blog posts at http://blog.phil-opp.com/☆90Updated 2 years ago
- I-cache line packing and branch misprediction measuring tool☆18Updated 8 years ago
- Fabrice Bellard's fbcc C Compiler☆43Updated 6 years ago
- My coreboot work☆23Updated 15 years ago
- A faithful port of the 32-bit xv6 learner's operating system to the Rust programming language☆19Updated 7 years ago
- FPGA implementation of the Blit terminal☆14Updated 5 years ago
- Calcium OS project for x86_64☆40Updated 8 years ago
- ☆36Updated last month
- NxM, a 64-bit plan 9 derivative you can build on Linux and OSX, and boot on qemu☆46Updated last year
- A RISC-V simulator implementing RV32G[C].☆35Updated 2 years ago
- The Puppy Operating System☆25Updated 6 years ago
- L4Ka::Hazelnut micro-kernel☆37Updated 10 years ago