alwin-joshy

> Enabling the fault benchmarks on RISCV didn't do anything - the fault benchmarks were just always skipped for some reason.

> The `rv32` simulation test is failing on `VMFault`, which I assume is related. > > In general, what kind of testing has been done so far? Passing sel4test is...

Reviving this. Have fixed the style issues raised (moving stuff to arch-dependent functions instead of ifdefs) and fixed issues with the configuration. Have also brought it back up to date...

@kent-mcleod Do you have some time to look at this?

> Thanks for raising this for early feedback, this is excellent as it helps us get on the same page before too much time is invested. > > Please state...

> My bad, will do that in future, thought it was better style to have small changes bunched up in prior commits as opposed to multiple small commits. I'll refrain...

Hi @kent-mcleod and @pingerino , do you have some time to look at this?

Thanks for your feedback Kent, I'll go through this today and try to make adjustments as needed.

Accidentally rebased to get up to date with main instead of merge commiting

I've fully slowpathed the case where FPU saving is required and adjusted the scheduling (append/enqueue issue) for SMP so that should be equivalent as well.