A collection of software ported to Genode