Thanks for your reply. I have now switched to the latest BSP. I find some build recipes for "imx8mmevk" However, it looks from the README that the i.MX8MM still has no xen support (only jailhouse). Our development is for an embedded product which will need to share some of the peripherals between domains. This is why we are interested in xen and not jailhouse. Also, the 8MMini is not listed in the tested section for the release.
from imx-yocto-bsp/sources/meta-fsl-bsp-release/imx/README:
"i.MX Linux Yocto Project BSP 4.14.78_1.0.0 Release
=====================================================
The following boards were tested in this release.
* NXP i.MX 6QuadPlus SABRE Device (imx6qpsabresd)"
...
...
" * NXP i.MX 7ULP EVK (imx7ulpevk)
* NXP i.MX 8MQuad EVK (imx8mqevk)
* NXP i.MX 8QuadMax LPDDR4 ARM2 (imx8qmlpddr4arm2)
* NXP i.MX 8QuadXPlus LPDDR4 ARM2 (imx8qxplpddr4arm2)
* NXP i.MX 8QuadXPlus MEK (imx8qxpmek)"
...
...
"Building XEN
------------
XEN is supported on IMX8QM/QXP. To enable xen build add the following line to local.conf:"
I shall run a Yocto build today, just to see where that gets us.
Regards, Robin