Ivan Velickovic

I don't think it was broken by that commit since v1.2 of OpenSBI was released last year and that commit is from January this year.

Thanks for posting that issue though, maybe it will give us some clarity.

@Indanz it doesn't look like the OpenSBI GitHub issues get responded to very much, maybe try the mailing list as well?

According to https://github.com/riscv/riscv-profiles, `Sstc` is optional for RVA22 CPUs but will be mandatory for RVA23. So yea we are probably at least a couple of years away from having the...

It's been a couple of months without any response from the OpenSBI maintainers. What should we do now? It seems that either we make the direct `mtime` access an opt-in...

Since it's new in the release should it also go somewhere around here? https://docs.sel4.systems/projects/buildsystem/

> Any harm in turning those on by default? Is there enough config magic in place to skip them when the config doesn't support it? I don't think the IRQ...

This file https://github.com/seL4/sel4bench/blob/master/apps/sel4bench/src/plat/tx2/vcpu.c is responsible for doing the processing of VCPU benchmark results but looking at it I don't see anything that is obviously platform specific. To fix this, maybe...

I think all the feedback has been addressed, can this be merged now?

> If the order of values in `seL4_UserContext` would be the same as for the MR, it could have been a simple loop instead of this mess. Isn't it? At...