kernel_replicant_linux - Replicant kernel

	Commit message (Expand)	Author	Age	Files	Lines
*	irqchip/gic: Prepare for adding platform driver	Jon Hunter	2016-06-13	1	-2/+2
*	Merge tag 'for-linus' of git://git.kernel.org/pub/scm/virt/kvm/kvm	Linus Torvalds	2016-05-19	1	-0/+13
\|\
\| *	irqchip/gic-v2: Parse and export virtual GIC information	Julien Grall	2016-05-03	1	-0/+13
* \|	irqchip/gic: WARN if setting the interrupt type for a PPI fails	Jon Hunter	2016-05-11	1	-4/+12
* \|	irqchip/gic: Don't unnecessarily write the IRQ configuration	Jon Hunter	2016-05-11	1	-2/+6
\|/
*	irqchip/gic: Make sure all interrupts are deactivated at boot	Marc Zyngier	2015-11-17	1	-4/+9
*	irqchip/gicv3-its: Add HW revision detection and configuration	Robert Richter	2015-09-29	1	-0/+11
*	irqchip: gic: Simplify gic_configure_irq by using IRQCHIP_SET_TYPE_MASKED	Sudeep Holla	2015-06-05	1	-17/+0
*	irqchip: gic: Allow interrupt level to be set for PPIs	Liviu Dudau	2015-01-26	1	-6/+12
*	irqchip: gic: Replace hex numbers with defines.	Feng Kan	2014-08-19	1	-6/+9
*	irqchip: gic: Move some bits of GICv2 to a library-type file	Marc Zyngier	2014-07-08	1	-0/+115