Raspberry Pi port, piCore-15.0 is available!
Xen requires a custom kernel for both the Dom0 and DomU.
AFAIK Xen is not fully in the kernel yet, requiring additional patches for full functionality.On the other hand, TC as a KVM host works great right now.