I am building a Xenomai cobalt kernel under Ubuntu 18.04 based on:
Linux 4.19.75
Xenomai 3.1-rc3
ipipe-core-4.19.75-x86-7.patch
After running prepare-kernel.sh and "makeolddefconfig" (using the unmodified
default .config), I get this error:
WARNING: unmet direct dependencies detected for PARAVIRT
Depends on [n]: HYPERVISOR_GUEST [=y] && !IPIPE [=y]
Selected by [m]:
- HYPERV [=m] && X86 [=y] && ACPI [=y] && X86_LOCAL_APIC [=y] &&
HYPERVISOR_GUEST [=y]
I turned off HYPERVISOR_GUEST manually to fix the warning. I hadn't seen this
type of error before, but perhaps something could be done in the patch to make
the default config consistent... Just FYI.
Otherwise, everything went fine with the build process and initial testing. I
will be giving this build some more testing over the next week or so and will
let you know if I find any issues.
Thanks,
-Jeff
