LekKit / RVVMLinks
The RISC-V Virtual Machine
☆1,081Updated this week
Alternatives and similar repositories for RVVM
Users that are interested in RVVM are comparing it to the libraries listed below
Sorting:
- The fastest RISC-V sandbox☆901Updated this week
- 32-bit RISC-V CPU in ~800 lines of C89☆618Updated last month
- A Tiny Linux-Compatible Kernel☆2,924Updated this week
- RISC-V emulator for CLI and Web written in Rust with WebAssembly. It supports xv6 and Linux (ongoing).☆869Updated last year
- A tiny C header-only risc-v emulator.☆1,954Updated 2 months ago
- RISC-V Open Source Supervisor Binary Interface☆1,233Updated last week
- A portable microkernel-based multiserver operating system written from scratch.☆1,485Updated last month
- A self-hosting and educational C optimizing compiler☆1,249Updated this week
- The R9 operating system☆738Updated last month
- Portable C standard library☆972Updated this week
- Use of a Linux initramfs to fully automate the bootstrapping process☆642Updated 2 weeks ago
- Reference implementation for the book "Writing a RISC-V Emulator in Rust".☆385Updated 2 years ago
- Neptune OS: A Windows NT personality for the seL4 microkernel☆403Updated this week
- The Adventures of OS☆557Updated 2 years ago
- RISC-V simulator for x86-64☆708Updated 3 years ago
- A set of minimal dependency bootstrap binaries☆982Updated 2 months ago
- A UNIX-like kernel for the i386 architecture☆552Updated 2 weeks ago
- Build script for BareMetal OS and its related utilities☆777Updated 3 weeks ago
- Pragmatic microkernel-based OS with fully asynchronous I/O☆1,709Updated this week
- C11 compiler (mirror)☆779Updated 3 weeks ago
- MOROS: Obscure Rust Operating System 🦉☆1,002Updated this week
- A mirror of TinyBIOS repository☆311Updated 2 weeks ago
- RISC-V Guide. Learn all about the RISC-V computer architecture along with the Development Tools and Operating Systems to develop on RISC-…☆594Updated last year
- Inferno® is a distributed operating system. Inferno represents services and resources in a file-like name hierarchy, including devices, …☆647Updated 5 months ago
- Documentation for the RISC-V Supervisor Binary Interface☆420Updated last week
- A C Compiler that fits in the 512 byte boot sector of an x86 machine☆1,669Updated last year
- An unofficial assembly reference for RISC-V.☆497Updated 8 months ago
- 539kernel is a simple x86 32bit educational kernel which has been written especially for the book "A Journey in Creating an Operating Sys…☆228Updated last year
- Plan 9 History, from 1992-09-21 to 2015-01-10.☆541Updated 4 years ago
- Text describing xv6 on RISC-V☆753Updated 11 months ago