Preliminary changes for Minix3.