Xen/Mini-OS support