And to clarify, these are linux-kernel distros developed for mobile devices. Previous commenter seemed to care that the Android kernel is based on Linux, even though it’s heavily modified. - “Linux phones” would typically use a much more standard, open-source kernel and driver bundle.