On Tue, Apr 16, 2024 at 3:29 AM Andrew Cooper <[email protected]> wrote: > > On 16/04/2024 7:31 am, Sergiy Kibrik wrote: > > Instead of using generic CONFIG_HVM option switch to a bit more specific > > CONFIG_VMX option for altp2m support, as it depends on VMX. Also guard > > altp2m routines, so that it can be disabled completely in the build. > > > > Signed-off-by: Sergiy Kibrik <[email protected]> > > Altp2m is not VMX-specific. It's just no-one has wired it up on AMD, or > accepted the long-outstanding ARM patchset where it was made to work. > > If you want to compile it, you probably want CONFIG_ALTP2M. > > However, it's not even x86 specific. See the uses in common/monitor.c
As Andrew said, it is not VMX specific so shouldn't be tied to that. Adding a CONFIG_ALTP2M would be OK. Tamas
