From: Mohamed Mediouni <mohamed@unpredictable.fr>
Signed-off-by: Mohamed Mediouni <mohamed@unpredictable.fr>
Link: https://lore.kernel.org/r/20260311102626.46546-4-mohamed@unpredictable.fr
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
---
docs/about/build-platforms.rst | 2 +-
docs/system/introduction.rst | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/docs/about/build-platforms.rst b/docs/about/build-platforms.rst
index ae138ff0e02..6e3088d524a 100644
--- a/docs/about/build-platforms.rst
+++ b/docs/about/build-platforms.rst
@@ -43,7 +43,7 @@ Those hosts are officially supported, with various accelerators:
* - CPU Architecture
- Accelerators
* - Arm
- - hvf, kvm, tcg, xen
+ - hvf, kvm, tcg, whpx, xen
* - PPC
- kvm, tcg
* - RISC-V
diff --git a/docs/system/introduction.rst b/docs/system/introduction.rst
index 2dfa371e0f9..be387a66458 100644
--- a/docs/system/introduction.rst
+++ b/docs/system/introduction.rst
@@ -31,7 +31,7 @@ Tiny Code Generator (TCG) capable of emulating many CPUs.
- x86, Arm
* - Windows Hypervisor Platform (whpx)
- Windows
- - x86
+ - Arm, x86
* - NetBSD Virtual Machine Monitor (nvmm)
- NetBSD
- x86
--
2.53.0