update OpenSBI to v1.2

[axel-h]

v1.2 is the latest released version. Support for JH71110 was added afterwards unfortunately, trying to find out what the 1.3 release plans are.

Test with: axel-h/opensbi#1

[lsf37]

That's probably my fault, I forgot to make the hw ssh key available to this repo. Retrying now.

[lsf37]

Ok, the tests are working now, and the RISCV failure is still there (https://github.com/seL4/sel4bench-manifest/actions/runs/4826147244/jobs/8598076086#step:5:234)

[Ivan-Velickovic]

Ok, the tests are working now, and the RISCV failure is still there (https://github.com/seL4/sel4bench-manifest/actions/runs/4826147244/jobs/8598076086#step:5:234)

Are the "errors" there

Range for vaddr 0x10001000 with 1 4k pages not reserved!
Mapping new pages to extend brk region failed

expected?

[Ivan-Velickovic]

Running in debug mode makes it clear why it's not completing the benchmark:

scheduler Benchmarks
==============

Caught cap fault in send phase at address 0
while trying to handle:
user exception 0x2 code 0
in thread 0xffffffc27ffcea00 "268537856" at address 0x116e4
With stack:
0x10011c50: 0x2
0x10011c58: 0x0
0x10011c60: 0x6ece0
0x10011c68: 0x7
0x10011c70: 0x0
0x10011c78: 0x102
0x10011c80: 0x0
0x10011c88: 0x0
0x10011c90: 0x0
0x10011c98: 0x0
0x10011ca0: 0x10011cd0
0x10011ca8: 0x117e0
0x10011cb0: 0x2
0x10011cb8: 0x0
0x10011cc0: 0x10011d30
0x10011cc8: 0x128f0

[Ivan-Velickovic]

Based on my experiment #13, it looks like that the change from using the sifive/fu540 OpenSBI platform to generic even on OpenSBI v0.8 causes the benchmarks to fail. I'm not sure why this is the case, potentially there's some initialisation code that is not happening when moving to the generic platform?