I have listened several times to Richard Stallman calling for the use of "GNU with Linux" (GNU/Linux).
Still, for some time I went into thinking this - We don't say Android/Linux, do we? So why should we say GNU/Linux instead of just GNU?
And then, I had the occasion to execute GNU with the Hurd kernel. So it was clear that the GNU OS can run with either the Linux or Hurd kernel. GNU/Linux and GNU/Hurd. And I have heard that ArchLinux can even run with a third one, the kernel from FreeBSD.
So I think that GNU/Linux is fine. ------------------------------------------------------------------------ Ignacio Agulló · agu...@ati.es ---------------------------------------------------------------- This message was sent using IMP, the Internet Messaging Program.