|  | devices-dirs-$(CONFIG_REALLY_VIRTFS) += 9pfs/ | 
|  | devices-dirs-$(CONFIG_ACPI) += acpi/ | 
|  | devices-dirs-$(CONFIG_SOFTMMU) += audio/ | 
|  | devices-dirs-$(CONFIG_SOFTMMU) += block/ | 
|  | devices-dirs-$(CONFIG_SOFTMMU) += bt/ | 
|  | devices-dirs-$(CONFIG_SOFTMMU) += char/ | 
|  | devices-dirs-$(CONFIG_SOFTMMU) += cpu/ | 
|  | devices-dirs-$(CONFIG_SOFTMMU) += display/ | 
|  | devices-dirs-$(CONFIG_SOFTMMU) += dma/ | 
|  | devices-dirs-$(CONFIG_SOFTMMU) += gpio/ | 
|  | devices-dirs-$(CONFIG_SOFTMMU) += i2c/ | 
|  | devices-dirs-$(CONFIG_SOFTMMU) += ide/ | 
|  | devices-dirs-$(CONFIG_SOFTMMU) += input/ | 
|  | devices-dirs-$(CONFIG_SOFTMMU) += intc/ | 
|  | devices-dirs-$(CONFIG_IPACK) += ipack/ | 
|  | devices-dirs-$(CONFIG_SOFTMMU) += isa/ | 
|  | devices-dirs-$(CONFIG_SOFTMMU) += misc/ | 
|  | devices-dirs-$(CONFIG_SOFTMMU) += net/ | 
|  | devices-dirs-$(CONFIG_SOFTMMU) += nvram/ | 
|  | devices-dirs-$(CONFIG_SOFTMMU) += pci/ | 
|  | devices-dirs-$(CONFIG_PCI) += pci-bridge/ pci-host/ | 
|  | devices-dirs-$(CONFIG_SOFTMMU) += pcmcia/ | 
|  | devices-dirs-$(CONFIG_SOFTMMU) += scsi/ | 
|  | devices-dirs-$(CONFIG_SOFTMMU) += sd/ | 
|  | devices-dirs-$(CONFIG_SOFTMMU) += ssi/ | 
|  | devices-dirs-$(CONFIG_SOFTMMU) += timer/ | 
|  | devices-dirs-$(CONFIG_TPM) += tpm/ | 
|  | devices-dirs-$(CONFIG_SOFTMMU) += usb/ | 
|  | devices-dirs-$(CONFIG_VIRTIO) += virtio/ | 
|  | devices-dirs-$(CONFIG_SOFTMMU) += watchdog/ | 
|  | devices-dirs-$(CONFIG_SOFTMMU) += xen/ | 
|  | devices-dirs-y += core/ | 
|  | common-obj-y += $(devices-dirs-y) | 
|  | obj-y += $(devices-dirs-y) |