+obj-$(CONFIG_GENERIC_TIME) += clocksource/
+obj-$(CONFIG_DMA_ENGINE) += dma/
+obj-$(CONFIG_DCA) += dca/
+obj-$(CONFIG_HID) += hid/
+obj-$(CONFIG_PPC_PS3) += ps3/
+obj-$(CONFIG_OF) += of/
+obj-$(CONFIG_SSB) += ssb/
+obj-$(CONFIG_VIRTIO) += virtio/
+obj-$(CONFIG_VLYNQ) += vlynq/
+obj-$(CONFIG_STAGING) += staging/
+obj-y += platform/
+obj-y += ieee802154/