Ivan Velickovic

> What does is mean "most stable"? Can you make this a bit more specific, is it the OpenSBI build/boot flow that works better? Or the U-Boot boot flow? Or...

Hey @canarysnort01, I've been stuck on this timer driver for a while as I could not get it enabled. I revisited it briefly last week and managed to patch U-Boot...

Can this be merged?

> While we're expecting the tests to currently fail, it looks to me like some of the operations are returning a different kind of error, e.g. cap lookup fault instead...

Cool, thank you for doing this. Looking back at the issue I made, some of the things mentioned probably don't belong in the manual. What about things like vGIC version...

> Its goal is not to document how to write a VMM or virtual GIC driver in general. Basically, it's assumed that the reader will or has read the ARM...

Do they not belong in the 'Faults' section (6.2) of the manual?

Not all the faults outline the contents of the IPC buffer when you receive the fault. User exceptions are one example.