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:

Though I'm not sure you're going to include those two already.


-- 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)

Reply via email to