On Fri, Jul 14, 2017 at 08:30:01AM +0000, Abhinav Upadhyay wrote: > I asked Colin Percival how FreeBSD does this, he told me to simply > build an amd64 image instead of a xen image and upload it. That doesn't make sense as there is no PV support for non-Xen kernels. Joerg