On July 22, 2017 8:42:48 PM GMT+02:00, G <gp...@mailbox.org> wrote: >thanks! it worked!
It could be of public interest exactly *what* worked. Hardware change? BIOS settings? /Alexander >On 07/22/17 20:54, Josh Grosse wrote: >> On Sat, Jul 22, 2017 at 08:38:56PM +0300, G wrote: >>> I get the following messages >>> >>> # vmd -vd >>> vmd: /dev/vmm: Operation not supported by device >> >> The vmm(4) driver requires hardware virtualization features, and if >you >> have the right hardware, may require you to enable them in your BIOS. >> Your dmesg(8) will note if the kernel can load the vmm() driver. For >> example, mine shows: >> >> vmm0 at mainbus0: VMX/EPT >>
