| − | As GNU's kernel is yet to receive a stable release, the GNU tools are mostly used with the [[Linux]] kernel, resulting in a "GNU/Linux" operating system. Nearly all well-known Linux distributions are GNU/Linux OSes, though exceptions exist (for example, [[Debian]] has a GNU/k[[FreeBSD]] version, while [[Android]] uses the Linux kernel with [[BSD]] tools). | + | As GNU's kernel is yet to receive a stable release, the GNU tools are mostly used with the [[Linux]] kernel, resulting in a [[GNU/Linux]] operating system. Nearly all well-known Linux distributions are GNU/Linux OSes, though exceptions exist (for example, [[Debian]] has a GNU/k[[FreeBSD]] version, while [[Android]] uses the Linux kernel with [[BSD]] tools). |