diff --git a/repos/base-sel4/src/core/include/vm_space.h b/repos/base-sel4/src/core/include/vm_space.h
index a84735cca6..8d0051f788 100644
--- a/repos/base-sel4/src/core/include/vm_space.h
+++ b/repos/base-sel4/src/core/include/vm_space.h
@@ -386,8 +386,9 @@ class Genode::Vm_space
 				if (!_map_frame(from_phys + offset, to_virt + offset,
 				                cacheability, writable, executable,
 				                flush_support))
-					error("mapping failed ", Hex(from_phys + offset),
-					      " -> ", Hex(to_virt + offset));
+					warning("mapping failed ", Hex(from_phys + offset),
+					        " -> ", Hex(to_virt + offset), " ",
+					        !flush_support ? "core" : "");
 			}
 		}