Example for running Genode on Arndale