Hi, I'm looking for some direction with regards to having the ability to activate/de-activate the Xen hypervisor via the initial FreeBSD boot menu. According to the handbook, " try-included /boot/xen.4th " should be added to menu.rc.local. I've done this but upon reboot there is no option to enable/disable the Xen kernel (meaning the system always boots using Xen). I'm running FreeBSD 12.0 and Xen 4.11 (kernel & tools). This did work on FreeBSD 11.x and an older version of Xen I had running previously. Thanks.