Installation guide says that VT-d and VT-x have to be made sure to be activated in computer’s BIOS/UEFI.
However, my Coreboot’ed x220 has only “Press ESC for boot menu” during the booting process, and then a few seconds later it defaults to my current Xubuntu OS.
Where can I check to see if the VT-d and VT-x are activated in my Coreboot’ed machine?
What should I see at the output of that command? I am seeing a few dozen lines with cryptic abbreviations, and quite a few instances of vmx higlighted in red.
I was just confused by the output of dmesg and /proc/cpuinfo, which gave no output indicating that something is wrong. But now I see qubes-hcl-report is the relevant one. I might have a few more noob questions in the near future while trying to figure out how things (are supposed to) work. Thanks for your help and patience.