Sorry, weekend.
But I'll test it as soon as possible.
S.P.

On Fri, Jul 24, 2015, 10:13 Pavel Fedin <p.fe...@samsung.com> wrote:

>  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
>
>

Reply via email to