1# Xen PV machine support 2obj-$(CONFIG_XEN) += xen_machine_pv.o 3# Xen PV machine builder support 4obj-$(CONFIG_XEN_PV_DOMAIN_BUILD) += xen_domainbuild.o 5