diff --git a/repos/os/src/server/fs_rom/main.cc b/repos/os/src/server/fs_rom/main.cc index 1e5a4c6e46..d6d44103dc 100755 --- a/repos/os/src/server/fs_rom/main.cc +++ b/repos/os/src/server/fs_rom/main.cc @@ -175,6 +175,7 @@ class Fs_rom::Rom_session_component : catch (Invalid_handle) { Genode::error(_file_path, ": Invalid_handle"); } catch (Invalid_name) { Genode::error(_file_path, ": invalid_name"); } catch (Lookup_failed) { Genode::error(_file_path, ": lookup_failed"); } + catch (Permission_denied) { Genode::error(_file_path, ": Permission_denied"); } catch (...) { Genode::error(_file_path, ": unhandled error"); }; throw Open_file_failed();