Even though many of these use "Android", it's their own highly customized version of the OS, because open source rocks.