Linux as a mobile OS, much more than just Android