Re: Genode as a mobile operating system