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 11 months ago
hardware Makefile can now build linux/bbl 1 year ago
src lrw/scw reservation 11 months ago
tests Added MULH test 1 year ago
.clang-format Initial commit 1 year ago
.gitignore Initial commit 1 year ago
LICENSE Added LICENSE 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: