On Mon, 1 Jun 2020 at 14:01, Adam Lackorzynski <a...@l4re.org> wrote: > Indeed that's another option. Besides that A15+GICv3 currently just > works with this.
Not sure how... > So I guess the alternative is to switch to 32bit from EL3 when using an A57? If you're using KVM then you can use -cpu host,aarch64=off thanks -- PMM