On Wed, 10 Aug 2016, Wookey wrote: > So in practice, you need to use the 'BX emulation' kernel patch > instead. I checked with the author (Marc Zyngier) this afternoon, and > apparently it works very well, but it is indeed not upstreamed > (rejected). (And I don't have a link to hand) Thank you for all responses!