My version of MINIX3 for projects in UCSC's CMPE111