This is a fork of OpenSBI for Fuxi SoC
Add prefix for cross compiler:
$ export CROSS_COMPILE=riscv32-unknown-linux-gnu-
Then you cam compile opensbi with following command:
make PLATFORM=fpga/fuxi
After compiling, opensbi will be at ./build/platform/fpga/fuxi/firmware/fw_jump.bin
For using it for Fuxi SoC, you should use bin2coe.py
in GeeOS:
$ python3 PATH_TO_GEEOS/utiks/bin2coe.py PATH_TO_OPENSBI/build/fpga/fuxi/firmware/fw_jump.bin
Then copy the fw_jump.bin.coe
to Fuxi SoC at Fuxi/soc/soc.srcs/sources_1/new/ocm.coe
, and you can generate Fuxi SoC with opensbi for FPGA.