Der Prozessor ist ja nichts anderes als eine ARM-CPU. Da gibt es an möglichen Distributionen eine recht große Auswahl. Selsbt von sowas wie Debian gibt es einen ARM-Port, wobei das natürlich alles andere als empfehlenswert wäre.