Linux is the most-user kernel on consumer devices (Android) and servers by a very wide margin.