Re: Running Ubuntu Snappy under Genode on a SnickerDoodle..?