mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-05 18:50:04 +00:00
50dd0dda38
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