On 20/02/20 14:15, Marc Zyngier wrote: >> That is a bit sad information. Mainline Exynos finally got everything >> that was needed to run it on the quite popular Samsung Exynos5422-based >> Odroid XU4/HC1/MC1 boards. According to the Odroid related forums it is >> being used. We also use it internally at Samsung. > > Something like "too little, too late" springs to mind, but let's be > constructive. Is anyone using it in a production environment, where > they rely on the latest mainline kernel having KVM support? Depends if you consider "production environment" somebody playing at home with a SBC. But it's true that, these days, most of those that support EL2 do support ARM64, even if they are used with a 32-bit userland. Paolo
