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

[Johannes Schlatow]

Hi Jean-Adrien,

On Wed, 21 Sep 2022 07:55:21 +0200
Christian Helmuth <christian.helmuth at 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