From 413e2baa1ce2a592b88b2404fa80996a68c515c6 Mon Sep 17 00:00:00 2001 From: Stefan Kalkowski Date: Mon, 25 Jul 2022 14:36:08 +0200 Subject: [PATCH] platform_drv: PCI assignment failure is no error When there is no I/O MMU available the assignment is failing too, although this is no error but normal behaviour. Ref genodelabs/genode#4578 --- repos/os/src/drivers/platform/device_pd.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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);