Live sculpting a Genode-based operating system