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 efbf73f6b5 lrw/scw reservation 9 months ago
hardware Makefile can now build linux/bbl 11 months ago
src lrw/scw reservation 9 months ago
tests Added MULH test 11 months ago
.clang-format Initial commit 12 months ago
.gitignore Initial commit 12 months ago
LICENSE Added LICENSE 10 months ago
Makefile Makefile: Changed clean rule, fixed dep 11 months ago
README.md Updated README 10 months 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: