Control: tag 871049 + pending Hello Christoph,
> Please consider enabling MMC_SDHCI_XENON on the 4.12 and later > kernels. With this modification I can successfully boot plain debian > kernels from Espressobin using the SD card. > > it needs two patches for devicetree which should be on the way for > 4.14 latest: > > http://git.infradead.org/linux-mvebu.git/commit/9be778f6c6d8f90ff2fad88d1770e2a7843aee43 > http://git.infradead.org/linux-mvebu.git/commit/1208d2f0c84120d4e3eb2caf663a9a8b784b38ba I committed the following changes to master: http://deb.li/Dg4x http://deb.li/QjfU so in the next upload for 4.12 your SD card should be functional. Best regards Uwe -- Pengutronix e.K. | Uwe Kleine-König | Industrial Linux Solutions | http://www.pengutronix.de/ |