xen proposal