Change-Id: I5ec1b6ff9accbc6935b8d06b46e3b75a0bd65572
Code-Review+2: Kees Jongenburger <kees.jongenburger@gmail.com>
Verified+1: Kees Jongenburger <kees.jongenburger@gmail.com>
Submitted-by: Kees Jongenburger <kees.jongenburger@gmail.com>
Submitted-at: Mon, 23 Jul 2012 16:10:34 +0200
Reviewed-on: http://dellpc132.few.vu.nl/3
Project: minix
Branch: refs/heads/master