Skip to main content
14 votes

But Linux is a Kernel!

Do nothing This is not a problem; it is fine how it is. Any confusion caused is far too minor to require any action. Any possible gain is too small to be worth the effort.
6 votes

But Linux is a Kernel!

"Linux is the name of a kernel, isn't it?", new users could think. No, because new users think that Linux is an operating system. Only a very few people who already know about the topic are aware ...
Gilles 'SO- stop being evil''s user avatar
5 votes

But Linux is a Kernel!

Make this clearer Use the phrases "operating system" or "kernel" where necessary to avoid ambiguity.

Only top scored, non community-wiki answers of a minimum length are eligible