Norman Feske norman.feske at ...1...
Fri May 29 11:30:39 CEST 2009

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.


More information about the users mailing list