On Tue, 15 Aug 2023 16:46:21 +0100, Miguel Luis <miguel.luis@xxxxxxxxxx> wrote: > > > + [CGT_HCR_FIEN] = { > > + .index = HCR_EL2, > > + .value = HCR_FIEN, > > Should this value be 0 ? Indeed. I've renamed the trap to be CGT_HCR_nFIEN, and set the value to 0. Thanks, M. -- Without deviation from the norm, progress is not possible.