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