Comment 4 for bug 1936831

Hi Enoch,

 Christian asked me to take a peek at this but, unfortunately, what you're trying to do here is outside of my wheelhouse. Generally when I'm running KVM ARM guests, I just use the "virt" model regardless of what the underlying kit is. The virt model provides a standard UEFI/KVM system (w/ or w/o ACPI). Can you confirm that what you're after is to create an accelerated system that looks like a raspi3b, or do you just want an accelerated ARM virtual machine on your raspi board? The latter should be more straightforward.

  -dann