MINIX MINIX MINIX 13249 MINIX 2,112 MINIX 0.78 MINIX 79.311,67517.193630.2450.95201.56330.7616 MINIX