On 31/01/19 22:48, Philippe Mathieu-Daudé wrote: > There is something I don't understand here: Does CONFIG_XEN in > Kconfig.host take precedence over the target configs? I'm looking at > these configs: > > if supported_xen_target $target; then > echo "CONFIG_XEN=n" >> $config_target_mak > if test "$xen_pci_passthrough" = yes; then > echo "CONFIG_XEN_PCI_PASSTHROUGH=y" >> "$config_target_mak" > fi > fi
You're right, Kconfig.host should contain CONFIG_XEN_BACKEND and not CONFIG_XEN. Paolo