On Fri, Jul 18, 2025 at 5:20 PM H. Hartzer <h...@hartzer.sh> wrote: > When I boot this system, dmesg does not mention EPT support. vmm fails > to start as well. > > However, in the BIOS virtualization support is enabled. I see nothing > about EPT. > > The specification sheet from Intel[1] says that this processor supports > Extended Page Tables. > > Is the specification sheet wrong, maybe? Is there something I can try? > Or is this a BIOS limitation?
dmesg output would make these questions easier to answer. Philip Guenther
