The newly-available 64-bit ARM machines are supported by Debian jessie thanks to ARM, Linaro and Debian porters. #releasingjessie