Introduce build options for stdvga and ACPI PM timer emulation drivers to make
them configurable with possibility to be disabled for finer-tuned setups that
don't need this code.

New config options reside in separate sub-menu, checks of emulation flags are
added so that domain can't be created if it requires devices that had been
disabled.
Since previous series one patch merged into 2 others and review comments have
been addressed (details are in per-patch changelogs).

v1 series here:
https://lore.kernel.org/xen-devel/cover.1728032664.git.Sergiy_Kibrik@epam.com/


  -Sergiy


Sergiy Kibrik (2):
  x86/hvm: introduce config option for ACPI PM timer
  x86/hvm: introduce config option for stdvga emulation

 xen/arch/x86/Kconfig                  | 23 +++++++++++++++++++++++
 xen/arch/x86/domain.c                 |  7 ++++++-
 xen/arch/x86/hvm/Makefile             |  4 ++--
 xen/arch/x86/include/asm/acpi.h       |  5 +++++
 xen/arch/x86/include/asm/domain.h     | 16 ++++++++++++----
 xen/arch/x86/include/asm/hvm/domain.h |  2 ++
 xen/arch/x86/include/asm/hvm/io.h     |  4 ++++
 xen/arch/x86/include/asm/hvm/vpt.h    | 10 ++++++++++
 8 files changed, 64 insertions(+), 7 deletions(-)

-- 
2.25.1