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

[Christian Helmuth]

Hello Jean-Adrien,

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.

  grep -rn __irqchip_of_table contrib/xilinx_linux-83ebf9354e4a56e442a5e63324e0b782150dc87f/src/linux/

  contrib/xilinx_linux-83ebf9354e4a56e442a5e63324e0b782150dc87f/src/linux/drivers/irqchip/irqchip.c:33:irqchip_of_match_end __used __section("__irqchip_of_table_end");
  contrib/xilinx_linux-83ebf9354e4a56e442a5e63324e0b782150dc87f/src/linux/drivers/irqchip/irqchip.c:35:extern struct of_device_id __irqchip_of_table[];
  contrib/xilinx_linux-83ebf9354e4a56e442a5e63324e0b782150dc87f/src/linux/drivers/irqchip/irqchip.c:39:   of_irq_init(__irqchip_of_table);

and genode-zynq uses this file in its SD card driver.

  grep -rn irqchip repos/zynq/

  repos/zynq/src/drivers/sd_card/zynq/source.list:18:drivers/irqchip/irqchip.c

[1] https://github.com/genodelabs/genode-zynq/blob/master/ports/xilinx_linux.port
[2] https://github.com/Xilinx/linux-xlnx/blob/xilinx-v2021.2

Happy hacking
-- 
Christian Helmuth
Genode Labs

https://www.genode-labs.com/ · https://genode.org/
https://twitter.com/GenodeLabs · https://genodians.org/

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth