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
_______________________________________________
Genode users mailing list
[email protected]
https://lists.genode.org/listinfo/users
