On Thu, Jun 06, 2013 at 10:23:14AM +0200, Thorsten Glaser wrote: > tglase@tglase:~ $ fgrep X32 /boot/config-3.9-1-amd64 > # CONFIG_X86_X32 is not set See http://wiki.debian.org/X32Port and http://lists.debian.org/debian-devel/2013/05/msg00355.html Helmut