Code-Review-1: Jenkins
Reviewed-on: http://gerrit.minix3.org/2329
Project: minix
Branch: refs/heads/master
