Hello! > This Doesn't compile, a problem with KVM_DEV_TYPE_ARM_VGIC_V2. > I assume this is include file issue as it exists in linux-headers/linux/kvm.h > Note that everything should compile also for TCG only.
Damn! I think i know what the problem is... Your host arch != target arch and CONFIG_KVM gets disabled. Can you try adding explicit #include "linux/kvm.h" in vexpress.c and virt.c for a quick test? Kind regards, Pavel Fedin Expert Engineer Samsung Electronics Research center Russia