I was trying to run Android Cuttlefish on CrosVM, so kind of a niche use case. KVM works with the kernel config I wrote above, however VGICv2 is broken for guests. To fix that I had to modify the amlogic dtb, I used this kernel patch to guide me through the process of getting the VGICv2 working in KVM, I can upstream on the Amlogic linux kernel repo if it would be useful. This would make KVM enabled Fenix builds to work out of the box, I just haven’t bothered yet. In the end I managed to get two virtualised android phones running, sadly no GPU acceleration so I have to use swiftshader for now.