[pjmlp]

I don't know, because it uses the Linux kernel and is a good example of OEM fragmentation?

Or should I rather write Android/Linux, ChromeOS/Linux, PuppyLinux, Xandros then?