GfA/linux_kernel: linux kernel based on RobertCNelsons patchset https://github.com/RobertCNelson/bb-kernel @ bb7d43b149ef88cd0d3cb38bb49ebb69a460b42b

Christoffer Dall ce01e4e887 KVM: arm-vgic: Set base addr through device API		преди 12 години
..
arm_arch_timer.h	5ae7f87a56 ARM: KVM: Allow host virt timer irq to be different from guest timer virt irq	преди 12 години
arm_vgic.h	ce01e4e887 KVM: arm-vgic: Set base addr through device API	преди 12 години