Hi Julian,
thanks for the refinements and the added documentation. I checked in the new version with a small change into the SVN. Instead of using inverse argument "NOSUDO=yes", we just specify the sudo binary at the command line. For preventing the call of sudo, just specify 'SUDO='. This is in line with the 'VERBOSE=' argument as used by Genode's build system.
Regards Norman