Hello, @Atkinson
Thanks for you reply.
1. As I mentioned, multiple DomU could be supported by Xen, but from BSP's side, there is not ready to use sample related, by default, only 1 DomU(DomU1) could be support.
Currently from BSP44, there is additional DomU2 configuration file existed, but it could not be directly used since lacking of corresponding partition on the SD card, you may add one partition to your default SD card and have another trial.
2. I feel sorry that it is not possible, for A53 side software(TFA/Uboot/Xen/Linux), these are not products from NXP, we provided corresponding drivers to them, and could use the combination packages to boot the board, generally, this kind of pure software support is done by the open-source. not us.
BR
Chenyin