2013-03-01 13:59:19 +01:00
|
|
|
# xen backend driver support
|
|
|
|
common-obj-$(CONFIG_XEN_BACKEND) += xen_backend.o xen_devconfig.o
|
2013-02-05 13:25:08 +01:00
|
|
|
|
2013-07-29 12:58:01 +02:00
|
|
|
obj-$(CONFIG_XEN_I386) += xen_platform.o xen_apic.o xen_pvdevice.o
|
2013-02-05 13:25:08 +01:00
|
|
|
obj-$(CONFIG_XEN_PCI_PASSTHROUGH) += xen-host-pci-device.o
|
|
|
|
obj-$(CONFIG_XEN_PCI_PASSTHROUGH) += xen_pt.o xen_pt_config_init.o xen_pt_msi.o
|