diff --git a/repos/os/src/drivers/platform/device_pd.cc b/repos/os/src/drivers/platform/device_pd.cc
index 6b7cb0ce65..9fe5d88904 100644
--- a/repos/os/src/drivers/platform/device_pd.cc
+++ b/repos/os/src/drivers/platform/device_pd.cc
@@ -117,7 +117,7 @@ void Device_pd::assign_pci(Io_mem_dataspace_capability const io_mem_cap,
 
 	/* try to assign pci device to this protection domain */
 	if (!_pd.assign_pci(addr, Pci::Bdf::rid(bdf)))
-		error("Assignment of PCI device ", bdf, " to device PD failed!");
+		log("Assignment of PCI device ", bdf, " to device PD failed, no IOMMU?!");
 
 	/* we don't need the mapping anymore */
 	_address_space.detach(addr);