Looking for arm based mobile platform that can run Xen

[Jukka Kaartinen <jukka.kaartinen@xxxxxxxxxx>]

Hi,

We are trying to find Raspberry like mobile HW that can run Xen with 
full features enabled like pass through devices and iommu support.
So far we have tried these:

These don't have iommu:
  * Raspberry Pi 4b

iommu doesn't cover whole io address space only some devices are behind 
iommu:
  *OrangePi 4b

Bad upstream kernel support:
  *Nvidia Xavier NX 
https://www.nvidia.com/en-us/autonomous-machines/embedded-systems/jetson-xavier-nx/
Closed source bootloader that won't boot kernel into EL2:
  * DragonBoard 845c https://www.96boards.org/product/rb3-platform/
  * Snapdragon 845 mobile hdk 
https://www.lantronix.com/products/snapdragon-845-mobile-hdk/

Any ideas? :)

We could consider using some low end laptop.


-Jukka