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
