On Mon, Jan 18, 2016 at 10:12:18AM +0000, Marc Zyngier wrote: > On 15/01/16 20:07, Mark Rutland wrote: [...] > > Marc, Christoffer, I note that in SCTLR_EL2_FLAGS we don't set the RES1 > > bits of SCTLR_EL2 (not in head.S el2_setup). Should we perhaps be doing > > so so as to avoid any future surprises? > > Yes, that's one of the numerous instances of the same problem - I think > Dave Martin also has some fixes in that area. > > I'll definitely take patches! Yep, we have a similar problem with CPTR_EL2, patch to follow at some point. There are likely other instances... Cheers ---Dave
