Source: linux Version: 4.12.2-1~exp1 Severity: normal Hi there!
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 Though I'm not sure you're going to include those two already. Christoph -- System Information: Debian Release: 9.1 APT prefers stable APT policy: (500, 'stable') Architecture: amd64 (x86_64) Kernel: Linux 4.11.0-1-amd64 (SMP w/16 CPU cores) Locale: LANG=en_IE.UTF-8, LC_CTYPE=en_IE.UTF-8 (charmap=UTF-8), LANGUAGE=en_IE:en (charmap=UTF-8) Shell: /bin/sh linked to /bin/dash Init: systemd (via /run/systemd/system)
