* minix.org: doc about minix