Push xen_stuff