diff --git a/repos/base/src/core/platform_rom_modules.cc b/repos/base/src/core/platform_rom_modules.cc
index 3ac0f6fc0f..d21b673955 100644
--- a/repos/base/src/core/platform_rom_modules.cc
+++ b/repos/base/src/core/platform_rom_modules.cc
@@ -24,9 +24,14 @@ void Platform::_init_rom_modules()
 	Boot_modules_header *header = &_boot_modules_headers_begin;
 	for (; header < &_boot_modules_headers_end; header++) {
 
+		if (!header->size) {
+			warning("ignore zero-sized boot module '",
+			        Cstring((char const *)header->name), "'");
+			continue;
+		}
 		Rom_module *rom_module = new (core_mem_alloc())
 			Rom_module(_rom_module_phys(header->base), header->size,
-			           (const char*)header->name);
+			           (char const *)header->name);
 		_rom_fs.insert(rom_module);
 	}
 }