a risc-v simulator
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
 
 
vhaudiquet 3e110a82f4 Added MULH test 1 year ago
hardware Makefile can now build linux/bbl 1 year ago
src Fixed tests using sbi shutdown 1 year ago
tests Added MULH test 1 year ago
.clang-format Initial commit 1 year ago
.gitignore Initial commit 1 year ago
Makefile Makefile: Changed clean rule, fixed dep 1 year ago
README.md Updated README 1 year ago

README.md

vriscv - a risc-v simulator

Linux and the BBL bootloader can be downloaded, built, and ran on the simulator using:

make run

Unit tests

Unit tests can be compiled and run using :

make tests

Resources used

RISC-V Specifications:

Device Tree Source :

Juraj's Blog, mostly:

RISC-V SBI Specifications:

Buildroot fork for nommu linux: