From 6ab06f417d42a9972d43ed425c3f7853f7166335 Mon Sep 17 00:00:00 2001 From: Christian Helmuth Date: Wed, 22 Mar 2023 08:35:06 +0100 Subject: [PATCH] base-nova: log IOMMU feature in verbose boot info --- repos/base-nova/src/core/platform.cc | 2 ++ 1 file changed, 2 insertions(+) diff --git a/repos/base-nova/src/core/platform.cc b/repos/base-nova/src/core/platform.cc index d0f34ae9f3..89daeee485 100644 --- a/repos/base-nova/src/core/platform.cc +++ b/repos/base-nova/src/core/platform.cc @@ -774,6 +774,8 @@ Platform::Platform() Rom_module(_rom_fs, "kernel_log", hyp_log, hyp_log_size); if (verbose_boot_info) { + if (hip.has_feature_iommu()) + log("Hypervisor features IOMMU"); if (hip.has_feature_vmx()) log("Hypervisor features VMX"); if (hip.has_feature_svm())