Seems that there is a Arm64 Debian/Ubuntu port now available https://lists.debian.org/debian-devel/2013/02/msg00413.html It will take a while to have real arm64 hardware but we need to be prepared :)