search

riscv-software-src / riscv-pk

RISC-V Proxy Kernel
Other
570 stars 304 forks source link

bbl error #315

Open FlashBarryAllen opened 5 months ago

FlashBarryAllen commented 5 months ago

I have buld spike and I want to install pk. However, I refer to the Build Steps leading to following errors. What should I do to fix this?

../configure --prefix=/opt/riscv --host=riscv64-unknown-elf
make
objcopy: Unable to recognise the format of the input file `dummy_payload'
bbl.mk:29: recipe for target 'bbl_payload' failed
make: *** [bbl_payload] Error 1
make: *** Waiting for unfinished jobs....