The MINIX 3 page has moved to www.minix3.org.