RV32 bbl loader ../machine/minit.c:78: assertion failed: !(read_csr(misa) & fd_mask)

riscv-software-src / riscv-pk

RISC-V Proxy Kernel

Other

596 stars 308 forks source link

RV32 bbl loader ../machine/minit.c:78: assertion failed: !(read_csr(misa) & fd_mask) #303

Open buloruabutata opened 1 year ago

buloruabutata commented 1 year ago

build steps

../configure --prefix=/home/yanyue/rv32imf_zicsr_zifencei_ilp32 --host=riscv64-unknown-elf --with-arch=rv32i_zicsr_zifencei
make

qemu steps

qemu-system-riscv32 \
  -machine virt \
  -nographic \
  -bios bbl \
  -device loader,file=$(bin),addr=0x80200000 \

error:

bbl loader
../machine/minit.c:78: assertion failed: !(read_csr(misa) & fd_mask)
Power off

aswaterman commented 1 year ago

The error message is unhelpful, but what it means is: you built a PK that assumes no FPU, but you are running it on an implementation that has an FPU. You should either build a PK that assumes FPU, or use an implementation that has no FPU.