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