Re: dde_linux: trying to port the emmc for arm_v8a driver from linux

Hi Jean-Adrien,

On Wed, 21 Sep 2022 07:55:21 +0200 Christian Helmuth christian.helmuth@genode-labs.com wrote:

I'm not an expert with dde_linux for ARM, but the genode-zynq repo [1] also uses a Linux 5.10 derivate from Xilinx [2]. Maybe you can find a hint how to tackle this issue there? The xilinx_linux port also includes the symbol.

The zynq SD card driver actually uses Genode's linux port (5.14). At some point I moved to this version to avoid maintaining another linux version in dde_linux. I kept the xilinx_linux port as a backup and forgot to remove it once the SD card driver was finished.

King regards Johannes