(en) FAQ officielle du noyau Linux, tux.org, 17 octobre 2009, [lire en ligne], « Today, Linux-based variants of the GNU system, based on the kernel Linux developed by Linus Torvalds, are in widespread use. There are estimated to be over 10 million users of GNU/Linux systems today ».
(en) FAQ officielle du noyau Linux, tux.org, 17 octobre 2009, [lire en ligne], « In this FAQ, we have tried to use the word "Linux" or the expression "Linux kernel" to designate the kernel, and GNU/Linux to designate the entire body of GNU/GPL'ed OS software, as found in the various distributions. We prefer to call a cat, a cat, and a GNU, a GNU. ;-) »
