Update riscv-isa-sim to 2024-05-31 snapshot

[aokblast]

Update to 2024-05-31

[mhorne]

Thanks. I tested booting a FreeBSD kernel. For some reason it doesn't work with the stripped OpenSBI ELF provided by sysutils/opensbi, but that is a separate issue.

[aokblast]

Just a question, how you test on kernel, I use spike --kernel /path/to/kernel /path/to/sbi. It give me invalid address error even after I add -m0x1000000,0x2000.

[mhorne]

In D43251#1038334, @aokblast wrote:

Just a question, how you test on kernel, I use spike --kernel /path/to/kernel /path/to/sbi. It give me invalid address error even after I add -m0x1000000,0x2000.

The kernel needs to be converted to a flat binary, so:
# objcopy -O binary /path/to/kernel kernel.bin

And then I had to build OpenSBI from source, as mentioned above, which I think is the real culprit. I will see how I can fix the port.

[aokblast]

Got it. Thanks for your response!