> According to this the UARTs are quite different. So the ZCU104 does not run > out of the box and may require (quite) some work. Do you concur? If you look through the flattened device trees for each platform and compare the compatibility string of the UART devices are they different or the same? You could try swapping out the zcu102's device tree with the zcu104's when building seL4 and see what happens.
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
