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())