Update xen.txt