A real Linux distribution for phones