about the architecture of minix