From 50dd0dda3859e6e2766a323cef0c002071411946 Mon Sep 17 00:00:00 2001 From: Christian Helmuth Date: Mon, 23 Nov 2015 17:00:23 +0100 Subject: [PATCH] Notify report-rom client on signal-handler registration Notify client initially to enforce a client-side ROM update. Otherwise, a server-side ROM update between session creation and signal-handler registration would go unnoticed. Issue #1788 --- repos/os/include/report_rom/rom_service.h | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/repos/os/include/report_rom/rom_service.h b/repos/os/include/report_rom/rom_service.h index 2a52c3fb8..53561b56f 100644 --- a/repos/os/include/report_rom/rom_service.h +++ b/repos/os/include/report_rom/rom_service.h @@ -125,6 +125,13 @@ class Rom::Session_component : public Genode::Rpc_object, void sigh(Genode::Signal_context_capability sigh) override { _sigh = sigh; + + /* + * Notify client initially to enforce a client-side ROM update. + * Otherwise, a server-side ROM update between session creation and + * signal-handler registration would go unnoticed. + */ + _notify_client(); } /**