From 23aac2954baddeb47888885e10e1242a7ff832ba Mon Sep 17 00:00:00 2001 From: Norman Feske Date: Wed, 4 Nov 2015 16:17:38 +0100 Subject: [PATCH] rom_filter: respond to dynamic config updates --- repos/os/src/server/rom_filter/main.cc | 2 ++ 1 file changed, 2 insertions(+) diff --git a/repos/os/src/server/rom_filter/main.cc b/repos/os/src/server/rom_filter/main.cc index c66822152..a7ac08553 100644 --- a/repos/os/src/server/rom_filter/main.cc +++ b/repos/os/src/server/rom_filter/main.cc @@ -228,6 +228,8 @@ struct Rom_filter::Main : Input_rom_registry::Input_rom_changed_fn, { env()->parent()->announce(_ep.manage(_root)); + Genode::config()->sigh(_config_dispatcher); + _handle_config(0); } };