On Wed, Dec 05, 2018 at 06:22:27PM +0000, Suzuki K Poulose wrote: > Hi Steve, > [...] > I think we may need a check for the secondary CPUs to make sure that they have > the 52bit support once the boot CPU has decided to use the feature and fail the > CPU bring up (just like we do for the granule support). > > Suzuki Hi Suzuki, I have just written a patch to detect a mismatch between 52-bit VA that is being tested now. As 52-bit kernel VA support is coming in future, the patch checks for a mismatch during the secondary boot path and, if one is found, prevents the secondary from booting (and displays an error message to the user). Cheers, -- Steve