@never_released @MishaalRahman yeah I know, crossvm in Android has support for Gunyah so that's not a problem.
Within Android there are protected and not protected VMs, and it seems like the latter was disabled for whatever reason.
QCOM was even trying to get their own TEE verified VM loading on the android fork, but I don't know if that ever saw the light of the day.