Debian GNU/Linux 7.0 (for AMD64/Intel EM64T)
