[Lugbz-list] minix, l'OS più diffuso al mondo