ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-01-30 08:03:59 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

base-sel4: print boot-module names

Browse Source
This commit is contained in:
Norman Feske 2017-05-22 10:38:02 +02:00 committed by Christian Helmuth
parent 419da32ee3
commit 6299f4a7df
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
repos/base-sel4/src/core/platform.cc
View File

@ -370,7 +370,8 @@ void Platform::_init_rom_modules()
_phys_cnode.copy(initial_cspace, Cnode_index(module_frame_sel + i),
Cnode_index(dst_frame + i));
log("boot module '", header->name, "' (", header->size, " bytes)");
log("boot module '", (char const *)header->name, "' "
"(", header->size, " bytes)");
/*
* Register ROM module, the base address refers to location of the