[lern_too_spel]

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