I am not counting Linux-based mobile operating systems, as they use a modified version of the Linux kernel.