op-kernel-dev - Development kernel branch for OpenPOWER systems

	Commit message (Expand)	Author	Age	Files	Lines
*	arm64: KVM: Add VGIC device control for arm64	Christoffer Dall	2014-02-14	1	-0/+9
*	Merge branch 'kvm-arm64/for-3.14' into kvm-arm64/next	Marc Zyngier	2013-12-28	1	-1/+2
\|\
\| *	arm64: KVM: Support X-Gene guest VCPU on APM X-Gene host	Anup Patel	2013-12-28	1	-1/+2
* \|	ARM/KVM: save and restore generic timer registers	Andre Przywara	2013-12-21	1	-0/+18
\|/
*	arm64: KVM: enable initialization of a 32bit vcpu	Marc Zyngier	2013-06-12	1	-0/+1
*	arm64: KVM: define 32bit specific registers	Marc Zyngier	2013-06-12	1	-1/+6
*	arm64: KVM: PSCI implementation	Marc Zyngier	2013-06-12	1	-0/+16
*	arm64: KVM: system register handling	Marc Zyngier	2013-06-07	1	-0/+29
*	arm64: KVM: user space interface	Marc Zyngier	2013-06-07	1	-0/+117