Does anyone run Xen or KVM on Jetson TK1 board?

Hi all,

Does anyone successfully run Xen or KVM on Jetson TK1 board?
Does anyone successfully run L4T kernel, such as R21.4, in the HYP mode, instead of SVC mode?

The L4T kernel cannot boot in HYP mode. So it cannot be used as a dom0 in Xen or host in KVM.
When I used a upstreamed Linux, the Linux can run in HYP mode in native environment. But the Linux cannot boot successfully in dom0.

So I’m wondering if it’s actually possible to run Xen or KVM on Jetson TK1 board?
In theory, it should be possible. But we never know until we really run it. :-(

Thank you very much for your time and help in this question! I really appreciate any help or suggestions.

Haven’t heard of anyone getting it running before, but then again it’s been a long time since virtualization has come up here.