diff --git a/repos/os/src/server/ram_fs/main.cc b/repos/os/src/server/ram_fs/main.cc index a59f6e6b1..89a4cc01f 100644 --- a/repos/os/src/server/ram_fs/main.cc +++ b/repos/os/src/server/ram_fs/main.cc @@ -18,7 +18,6 @@ #include #include #include -#include #include /* local includes */ @@ -619,6 +618,9 @@ static void preload_content(Genode::Env &env, /* read file content from ROM module */ try { Attached_rom_dataspace rom(env, name); + if (!rom.valid()) + throw Rm_session::Attach_failed(); + File *file = new (&alloc) File(alloc, as); file->write(rom.local_addr(), rom.size(), 0); dir.adopt_unsynchronized(file);