minix3 changes for cop4600