Michael Koch wrote: > Is this an amd64 machine with a 32-bit Debian version installed and > 64-bit kernel running? No, this is pure amd64. Marcus