> Do you think that GNU would have used MINIX if Tanenbaum had GPLed it
before Torvalds did Linux?
A while back in the 90s, Tanenbaum had full hopes in GNU Hurd, Minix was just
a mere tool for teaching. And Linux a promising kernel. Then Hurd never
become available. Minix was still a teaching tool and nothing else. And Linux
gained more popularity and with it drivers. Don't know if not being GPLed is
a deal breaker for the FSF when it comes to core components (probably it is).
But I'm petty sure they prefer GPLed software.
> What licence is MINIX released under, anyway? Is it GPLed yet? or under
BSD?
BSD license
http://git.minix3.org/index.cgi?p=minix.git;a=blob;f=LICENSE;h=a119efa5f44dc93086bc34e7c95f10ed55b6401f;hb=HEAD
Still, my point wasn't Minix vs the world. I was just saying that Tanenbaum
knows pretty well what he's talking about and maybe we should listen that
particular point.