From 476182684312dbdb70bc4a15f0f88c8281fe875b Mon Sep 17 00:00:00 2001 From: Alexander Boettcher Date: Thu, 23 Nov 2017 12:04:24 +0100 Subject: [PATCH] sel4: change a error message into warning This condition is non-fatal in the most cases, so leave it as a diagnostic message. --- repos/base-sel4/src/core/include/vm_space.h | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) 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" : ""); } }