I changed BIOS settings and it worked :-)
On 07/23/17 15:54, Alexander Hall wrote:
>
>
> 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
>>>
