RISC-V XV6/Linux SoC, marchID: 0x2b, 0x34
-
Updated
May 29, 2026 - Verilog
RISC-V XV6/Linux SoC, marchID: 0x2b, 0x34
Bare-metal 32-bit RISC-V operating system kernel featuring Sv32 two-level virtual memory paging, user-mode privilege isolation, trap handling, and process scheduling.
A from-scratch RV32 CPU (Verilog, Verilator) and the operating system kernel that runs on it
To associate your repository with the sv32 topic, visit your repo's landing page and select "manage topics."