On Fri, Jul 18, 2025 at 08:52:41PM -0700, Philip Guenther wrote: > 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 >
Indeed. man sendbug
