Tool for streamlining the development of Genode applications (migrated to codeberg.org) - View it on GitHub