On Thu, 15 Jan 2026 at 15:20, Alex Bennée <[email protected]> wrote: > > Peter Maydell <[email protected]> writes: > > If you have suggested names that you think make more sense, > > I'm open to them -- since I started by knowing the behaviour > > to me the names I ended up with seem more "obvious" to me than > > they would to somebody else, and it's the "somebody else" that > > I'm trying to help with the naming... > > I think I follow now. My only real suggestion would be to make the name > _v7a to be distinct from the v7m profile. Although HCR.TID3 seems to > exist for v7r as well. > > Anyway: > > Reviewed-by: Alex Bennée <[email protected]>
Thanks; I'll make that change and apply these to target-arm.next. FWIW, v7R can't have the virtualization extension, so it doesn't have HCR.TID3. Virtualization for R-profile only came in with v8R. thanks -- PMM
