|
@@ -30,7 +30,7 @@ devices-dirs-$(CONFIG_SOFTMMU) += ssi/
|
|
devices-dirs-$(CONFIG_SOFTMMU) += timer/
|
|
devices-dirs-$(CONFIG_SOFTMMU) += timer/
|
|
devices-dirs-$(CONFIG_TPM) += tpm/
|
|
devices-dirs-$(CONFIG_TPM) += tpm/
|
|
devices-dirs-$(CONFIG_SOFTMMU) += usb/
|
|
devices-dirs-$(CONFIG_SOFTMMU) += usb/
|
|
-devices-dirs-$(CONFIG_LINUX) += vfio/
|
|
|
|
|
|
+devices-dirs-$(CONFIG_VFIO) += vfio/
|
|
devices-dirs-$(CONFIG_SOFTMMU) += virtio/
|
|
devices-dirs-$(CONFIG_SOFTMMU) += virtio/
|
|
devices-dirs-$(CONFIG_SOFTMMU) += watchdog/
|
|
devices-dirs-$(CONFIG_SOFTMMU) += watchdog/
|
|
devices-dirs-$(CONFIG_SOFTMMU) += xen/
|
|
devices-dirs-$(CONFIG_SOFTMMU) += xen/
|