Ultrascale MPSoC + Zephyr A53

[DR]

Hey A53 Gurus,

Has anyone attempted to build a Zephyr project for the A53 cores on any of the Ultrascale + modules (e.g. TE0820)?
If so, can you share process, pointers, examples?

I am struggling to get Petalinux to run under our latest Fedora releases (unsupported), and also looking for something lighter weight.

I see there is support for the R5 cores, but not the A53 cores.
Also - It appears there is A53 support on other platforms like NXP.

Thanks much!