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 <sergiy_kib...@epam.com>
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 CC Tamas. ~Andrew