On 2 February 2017 at 15:52, Ard Biesheuvel <ard.biesheuvel@xxxxxxxxxx> wrote: > How is this supposed to work? RPI3 does not have a GIC at all, but a > proprietary interrupt controller that is not supported by KVM The idea is that (with the relevant not-yet-in-master patchsets) you can fall back to "use a userspace interrupt controller model". The performance will probably not be great. thanks -- PMM
