Hello Krzysztof, On 11/10/2015 09:43 PM, Krzysztof Kozlowski wrote: [snip] > > > BTW, do you know why we don't have EXYNOS_IOMMU enabled in defconfig? > Any reasons against? > It was explicitly disabled by commit 6562f3bd396a ("ARM: exynos_defconfig: Disable IOMMU support") because Exynos IOMMU support was broken and caused a BUG on boot, the discussion of the patch is [0]. But I just tested booting a v4.4-rc2 kernel on an Exynos5800 Peach Pi with Exynos IOMMU enabled and the machine boots, display is working and /sys/kernel/iommu_grups/*/devices shows that the devices were correctly attached to an IOMMU group so things seems to have been sorted out now. So it seems that EXYNOS_IOMMU could be enabled again. It would be good to give such a patch a spin at kernelci before posting IMHO though just to be sure there are no issues remaining. > Best regards, > Krzysztof > > [0]: https://lkml.org/lkml/2015/2/17/163 Best regards, -- Javier Martinez Canillas Open Source Group Samsung Research America -- To unsubscribe from this list: send the line "unsubscribe linux-samsung-soc" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html