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.

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.

Got it. Thanks for your response!