Hi Marc, This is from Nianyao Tang. I'm planning to do some verification on our GIC-v4.1 implement. I would like some information about linux GIC-v4.1 driver. When will linux support GIC-v4.1 or what's the plan on developing GIC-v4.1 driver? Thanks, Nianyao. _______________________________________________ kvmarm mailing list kvmarm@xxxxxxxxxxxxxxxxxxxxx https://lists.cs.columbia.edu/mailman/listinfo/kvmarm