Short update: The FreeBSD patch https://reviews.freebsd.org/D33876 was commited today.
This section allows you to view all posts made by this member. Note that you can only see posts made in areas you currently have access to.
Show posts Menuoptions XENHVM
device xenpci in the kernel config, but that's probably not a must.#pkg search pkg This listed (among others) pkg-devel-1.17.99.1. As the version number1.17.99.1 was lower than the official pkg one (1.18.something), I simply tried it out with pkg install --force. It didn't work, the error while building OPNsense remained, but maybe this was the intermediate step that allowed me to install the pkg in the way that franco describes?
# make reinstall failed. However, I manually installed the pkg file:# cd work/pkg
# pkg install --force pkg-1.17.5_1.pkg# make DVD completed flawlessly.