diff --git a/repos/os/src/drivers/platform/common.h b/repos/os/src/drivers/platform/common.h
index 7b4ad03ff9..11443b5fc9 100644
--- a/repos/os/src/drivers/platform/common.h
+++ b/repos/os/src/drivers/platform/common.h
@@ -98,7 +98,7 @@ void Driver::Common::acquire_io_mmu_devices()
 
 	});
 
-	/* iterate devices and determine address translation mode */
+	/* iterate IOMMU devices and determine address translation mode */
 	bool mpu_present    { false };
 	bool device_present { false };
 	_io_mmu_devices.for_each([&] (Io_mmu const & io_mmu) {
@@ -111,12 +111,35 @@ void Driver::Common::acquire_io_mmu_devices()
 	if (device_present && !mpu_present)
 		_root.enable_dma_remapping();
 
+	/* iterate devices and add default mappings */
+	_devices.for_each([&] (Device & device) {
+		device.for_each_io_mmu([&] (Device::Io_mmu const & io_mmu) {
+			_io_mmu_devices.for_each([&] (Io_mmu & io_mmu_dev) {
+				if (io_mmu_dev.name() == io_mmu.name) {
+					bool has_reserved_mem = false;
+					device.for_each_reserved_memory([&] (unsigned,
+					                                     Io_mmu::Range range) {
+						io_mmu_dev.add_default_range(range, range.start);
+						has_reserved_mem = true;
+					});
+					/* enable default mappings for corresponding pci devices */
+					device.for_pci_config([&] (Device::Pci_config const & cfg) {
+						io_mmu_dev.enable_default_mappings(
+							 {cfg.bus_num, cfg.dev_num, cfg.func_num});
+					});
+				}
+			});
+		}, [&] () { /* empty list fn */ });
+	});
+
 	bool kernel_iommu_present { false };
 	_io_mmu_devices.for_each([&] (Io_mmu & io_mmu_dev) {
+		io_mmu_dev.default_mappings_complete();
 		if (io_mmu_dev.name() == "kernel_iommu")
 			kernel_iommu_present = true;
 	});
 
+
 	/* if kernel implements iommu, instantiate Kernel_iommu */
 	if (_iommu() && !kernel_iommu_present)
 		new (_heap) Kernel_iommu(_env, _io_mmu_devices, "kernel_iommu");
diff --git a/repos/os/src/drivers/platform/io_mmu.h b/repos/os/src/drivers/platform/io_mmu.h
index 0595cfa1dd..3acfb3fa93 100644
--- a/repos/os/src/drivers/platform/io_mmu.h
+++ b/repos/os/src/drivers/platform/io_mmu.h
@@ -134,6 +134,15 @@ class Driver::Io_mmu : private Io_mmu_devices::Element
 
 	public:
 
+		/* interface for adding default mappings (used for reserved memory) */
+		virtual void add_default_range(Range const &, addr_t) { }
+
+		/* interface for activating default mappings for certain device */
+		virtual void enable_default_mappings(Pci::Bdf) { }
+
+		/* interface for completing default mappings (enabled IOMMU) */
+		virtual void default_mappings_complete() { }
+
 		Device::Name const & name() const { return _name; }
 
 		bool domain_owner(Domain const & domain) const {