Axel Heider

added a commit that make the kernel header file use the new new SBI interface, which is an extension of the legacy interface. Eventually we should start to use this...

Seems using the new SBI interface requires a update in the proofs also, as we have two registers with return values now. So I will remove this commit from here...

The HiFive still seems to start OpenSBI v0.8 and not v0.9, shouldn't the 'Test with seL4/sel4test-manifest#13' make CI pick this up?

The failure in Hifive SMP/MCS run might be due to the invalid OpenSBI configuration, as this uses the v0.9 setting "generic" now instead of the v0.8 setting "sifive/fu540".

Note that OpenSBI v1.0 has been released now, so using this version should become the long term goal now. Updating to 0.9 could still be an intermediate step.

> So I think there needs to be a bump of the minimum version here, and the discussion around doing so [...] See e.g. https://github.com/seL4/seL4/issues/827 for a discussion about which...

> Since it's fairly simple JSON output, would it be possible to implement the function "natively" as a cmake function for versions < 3.19? I wonder if the most scalable...

What is the point of adding `oxidised_manual/sel4-manual-reference.pdf`? The manual is generated by the build.

great! Do you plan to make a PR from this branch?

> Can we keep the deprecated files, even if they are empty? I'm sure we will deprecate more things in future, and it's good to have an established pattern/placeholder to...