On Mon, Dec 19, 2022 at 02:47:25PM +0000, Marc Zyngier wrote:
> Since you're reviewing some of this, please have a look at v3[1], > which outlined a limitation of the sysreg generation tool as well > as a potential fix.
Hrm, would've been nice to be CCed on stuff for the tool :/ [unhandled content-type:application/pgp-signature]