ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-04-07 19:34:56 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

sel4: change a error message into warning

Browse Source 
This condition is non-fatal in the most cases, so leave it as a
diagnostic message.
This commit is contained in:
Alexander Boettcher 2017-11-23 12:04:24 +01:00 committed by Christian Helmuth
parent 64c8b06377
commit 4761826843
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
repos/base-sel4/src/core/include/vm_space.h
View File

@ -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" : "");
}
}