1. 2016-12-06 Re: [PATCH v9 02/11] arm/arm64: vgic: Add distributor linux-arm Auger Eric 2. 2016-12-06 Re: [PATCH v9 02/11] arm/arm64: vgic: Add distributor android-v Auger Eric 3. 2016-11-28 Re: [PATCH v9 02/11] arm/arm64: vgic: Add distributor linux-arm Christoffer Dall 4. 2016-11-28 Re: [PATCH v9 02/11] arm/arm64: vgic: Add distributor android-v Christoffer Dall 5. 2016-11-23 [PATCH v9 02/11] arm/arm64: vgic: Add distributor and linux-arm vijay.kilari 6. 2016-11-23 [PATCH v9 02/11] arm/arm64: vgic: Add distributor and android-v vijay.kilari