Has anyone tried using KVM with the Juno board? It doesn't look like the bootloader starts the cores in hypervisor mode, so it's not clear to me whether the current system software will support a hypervisor at the moment, even with the appropriate kernel options selected. Are there any plans to support it?
The Trusted firmware does drop you into UEFI at EL2. So no modification to the boot sequence is required to support virtualization. You may need to do some work to enable KVM, but I believe that much of the basic support is already upstream. (I haven't tried this myself on Juno, but I know various colleagues have successfully booted KVM with an AArch64 kernel).