How to operate Genode on a machine without graphical output