On Mon, Feb 08, 2016 at 01:56:34PM +0100, Eric Auger wrote: > > Do you mean the GIC itself? From registers, it appears to be a standard ARM > > GIC, though i'm not sure exactly which one yet. However, it's stated in the > > processor's datasheet that legacy interrupts aren't supported. It's one of the > > newer Samsung Exynos processors. > I meant GICv2m (featuring single or multiple MSI frames) or GICv3 ITS or > any other proprietary interrupt controller IP supporting MSIs. >From the manual, it seems from the reset values for the identification registers that it is most likely a GICv2. If we continue with this project, and once we get access to hardware, we'd be very interested in helping you with testing this. Thanks, Ed _______________________________________________ kvmarm mailing list kvmarm@xxxxxxxxxxxxxxxxxxxxx https://lists.cs.columbia.edu/mailman/listinfo/kvmarm
