It is mentioned in documentation, but I can’t find IRQ numbers in PLIC interrupt map and there are no PDMA entry in FDT from default SD card.
We are discussing internally. The interrupt range is 11 to 18 according to the hardware source. In theory, the same fdt entry used for fu540 should work for fu740 with the interrupt numbers changed, but since we haven’t tested it, we can’t guarantee that will work. We will need to write a dts patch and test and upstream if it works. An internal doc bug report to get the docs fixed has been filed.