AMD64 Port

Debian on AMD64

This page is meant to assist users and Debian developers running Debian GNU/Linux on the AMD64 architecture. Here, you will find information about the current status of the port, which machines are publicly accessible by developers, where to discuss development of the port, where to get further information about Debian porters, and pointers to more information.

Current Status

AMD64 has been an officially supported Debian architecture since the release of Debian 4.0 (etch).

The port consists of a kernel for all AMD 64bit CPUs with AMD64 extension and all Intel CPUs with Intel 64 extension, and a common 64bit userspace.

A complete 64bit userland

The AMD64 port is thoroughly 64bit, allowing the user to benefit from all advantages this architecture has compared to i386:

Native execution of legacy 32bit binaries is supported by the kernel, and core libraries are provided by the ia32-libs package.

Minimalistic AMD64 runtime support for i386

The official i386 distribution actually includes minimalistic AMD64 support, consisting of a 64bit kernel, a toolchain able to create 64bit binaries and the amd64-libs package to run third-party amd64 binaries with native shared libraries.

Mailing List

Discussions and development for this port take place on the debian-amd64 list.

Public machines

Links