Hi all, is there any way to change the settings of the virtual machine started on Genode? For instance by providing a *.vbox config file? In my special case I would like to activate the usage of absolute mouse events in VMBox so that the usage of a touchscreen becomes more convenient. Greetings Christian