AMD64 for Linux distro