Hi Jean-Adrien, On Wed, 21 Sep 2022 07:55:21 +0200 Christian Helmuth <[email protected]> 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 _______________________________________________ Genode users mailing list [email protected] https://lists.genode.org/listinfo/users
