search

riscv-software-src / riscv-pk

RISC-V Proxy Kernel
Other
595 stars 308 forks source link

Issue when building riscv-pk for riscv32 or running spike #290

Closed WajahatRiaz closed 1 year ago

WajahatRiaz commented 1 year ago

I'm building the riscv-pk using the following commands and as per instructions

(Note: These instructions work perfectly for riscv64)

I built the riscv-pk using the following commands:

mkdir build cd build ../configure --prefix=$RISCV --host=riscv32-unknown-elf make make install

Then for a sanity check I run the following command on an executable (generated using riscv32-unknown-elf-gcc)

spike --isa=RV32I pk hello

But I get an error illustrated below:

image