Quoting Marc Zyngier (2019-10-18 00:20:56) > > If this SoC is anythinig like SM8150, 32bit guests will be hit and > miss, > depending on the CPU your guest runs on, or is migrated to. We need to > either drop capabilities from the 32bit-capable CPU, or prevent the > non-32bit capable CPU from booting if a 32bit guest has been started. > > You just have to hope that the kernel is entered at EL2, and that QC's > "value add" has been moved somewhere else... > Ok that's good.