|
@@ -56,9 +56,11 @@ core-$(CONFIG_IA64_DIG) += arch/ia64/dig/
|
|
core-$(CONFIG_IA64_GENERIC) += arch/ia64/dig/
|
|
core-$(CONFIG_IA64_GENERIC) += arch/ia64/dig/
|
|
core-$(CONFIG_IA64_HP_ZX1) += arch/ia64/dig/
|
|
core-$(CONFIG_IA64_HP_ZX1) += arch/ia64/dig/
|
|
core-$(CONFIG_IA64_HP_ZX1_SWIOTLB) += arch/ia64/dig/
|
|
core-$(CONFIG_IA64_HP_ZX1_SWIOTLB) += arch/ia64/dig/
|
|
|
|
+core-$(CONFIG_IA64_XEN_GUEST) += arch/ia64/dig/
|
|
core-$(CONFIG_IA64_SGI_SN2) += arch/ia64/sn/
|
|
core-$(CONFIG_IA64_SGI_SN2) += arch/ia64/sn/
|
|
core-$(CONFIG_IA64_SGI_UV) += arch/ia64/uv/
|
|
core-$(CONFIG_IA64_SGI_UV) += arch/ia64/uv/
|
|
core-$(CONFIG_KVM) += arch/ia64/kvm/
|
|
core-$(CONFIG_KVM) += arch/ia64/kvm/
|
|
|
|
+core-$(CONFIG_XEN) += arch/ia64/xen/
|
|
|
|
|
|
drivers-$(CONFIG_PCI) += arch/ia64/pci/
|
|
drivers-$(CONFIG_PCI) += arch/ia64/pci/
|
|
drivers-$(CONFIG_IA64_HP_SIM) += arch/ia64/hp/sim/
|
|
drivers-$(CONFIG_IA64_HP_SIM) += arch/ia64/hp/sim/
|