On Fri, Dec 23, 2011 at 11:04 AM, Felipe Contreras <felipe.contreras@xxxxxxxxx> wrote: > Which omap-iommu? The platform driver, or the device stuff? The device > stuff is always built-in, but not the platform driver > (drivers/iommu/omap-iommu.c), that can be a module. Both, I can't recall exactly when it changed (prior to being moved to drivers/iommu it could be built as a module), but now CONFIG_OMAP_IOMMU is boolean type. Regards, Omar -- To unsubscribe from this list: send the line "unsubscribe linux-omap" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html