diff --git a/repos/base-sel4/src/core/platform.cc b/repos/base-sel4/src/core/platform.cc
index 0f78c58392..afd3013945 100644
--- a/repos/base-sel4/src/core/platform.cc
+++ b/repos/base-sel4/src/core/platform.cc
@@ -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