Hi Marc, On 4/26/25 13:28, Marc Zyngier wrote:
Nit: Trailing whitespace. There are a few other places on Res0 lines. Maybe your generation script could be tweaked.+Sysreg SPMCR_EL0 2 3 9 12 0 +Res0 63:12 +Field 11 TRO +Field 10 HDBG +Field 9 FZO +Field 8 NA +Res0 7:5
Thanks, Ben