Hi Norman,
    When I read the source code in os/src/init/main.cc I noticed that Genode could respond to config changes at runtime. I wonder how I can modify the config at runtime? Are there any interfaces to do that? 

Bests,
Keqin