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