Ard Biesheuvel

> So I'm presuming that the `VenHw` (hardware vendor device path) node is the piece that maps to a specific platform, with the non-discoverable device protocol attached. This piece is...

I have submitted the missing ICLA for [email protected] to legal@ today.

Isn't that QEMU version 2.5 years behind QEMU master?

This needs a bit more care, I'm afraid. EL2 does not have an ASID either, unless VHE is enabled. Also, the page table descriptor layout is not the same between...