A GNU/Linux distribution for smartphones.