I disagree. Those who refer to the entire operating system name it after the kernel, do they not? I don't think there is a dispute over whether the kernel is called Linux or not, that's a fact. The political dispute is over whether an entire operating system running on the Linux kernel should be simply referred to as Linux, or as GNU/Linux.
-- add a note for translators regarding "loading linux kernel" message https://bugs.launchpad.net/bugs/221550 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
