I know. It's on my todo list, but I've not found the time to implement this
yet.
Send patches :-)

Michael

The following patch works for me. Have only patched files for the packages I am using. Comments and suggestions appreciated :)

Cheers,
Albert.


Index: ptxdist-2013.01.0/platforms/architecture.in
===================================================================
--- ptxdist-2013.01.0.orig/platforms/architecture.in 2013-01-08 10:40:10.000000000 +0100
+++ ptxdist-2013.01.0/platforms/architecture.in 2013-02-08 11:03:57.877905582 +0100
@@ -52,6 +52,14 @@
  help
   This is support for the Intel x86 architecture.
 
+ config ARCH_X86_64
+ bool "x86_64     "
+ select HAS_MMU
+ select HAS_PCI
+ select ARCH_SUPPORTS_ENDIAN_LITTLE
+ help
+  This is support for the Intel x86_64 architecture.
+
  config ARCH_MINGW
  bool "mingw      "
  select HAS_MMU
@@ -241,6 +249,7 @@
  prompt "hardware floating point"
  default y if ARCH_ALPHA
  default y if ARCH_X86
+ default y if ARCH_X86_64
  default y if ARCH_SPARC
  default n
 
@@ -263,7 +272,7 @@
 config SIZEOF_LONG_DOUBLE
  string
  default "12" if ARCH_X86
-# default "16" if ARCH_X86_64
+ default "16" if ARCH_X86_64
  default "8"
  # FIXME: add more values
 
@@ -278,6 +287,7 @@
  default "alpha" if ARCH_ALPHA
  default "blackfin" if ARCH_BLACKFIN
  default "i386" if ARCH_X86
+ default "x86_64" if ARCH_X86_64
  default "i386" if ARCH_MINGW
  default "m68k" if ARCH_M68K
  default "ppc" if ARCH_PPC
Index: ptxdist-2013.01.0/rules/openssl.make
===================================================================
--- ptxdist-2013.01.0.orig/rules/openssl.make 2013-01-08 10:40:10.000000000 +0100
+++ ptxdist-2013.01.0/rules/openssl.make 2013-02-08 11:11:51.237919688 +0100
@@ -40,6 +40,7 @@
 OPENSSL_ARCH-$(PTXCONF_ARCH_X86_I686) += debian-i386-i686/cmov
 OPENSSL_ARCH-$(PTXCONF_ARCH_X86_P2) += debian-i386-i686/cmov
 OPENSSL_ARCH-$(PTXCONF_ARCH_X86_P3M) += debian-i386-i686/cmov
+OPENSSL_ARCH-$(PTXCONF_ARCH_X86_64) += debian-amd64
 OPENSSL_ARCH-$(PTXCONF_ARCH_M68K) += debian-m68k
 OPENSSL_ARCH-$(PTXCONF_ARCH_PPC) += debian-powerpc
 OPENSSL_ARCH-$(PTXCONF_ARCH_SPARC) += debian-sparc
Index: ptxdist-2013.01.0/rules/pre/kernel.make
===================================================================
--- ptxdist-2013.01.0.orig/rules/pre/kernel.make 2013-01-08 10:40:10.000000000 +0100
+++ ptxdist-2013.01.0/rules/pre/kernel.make 2013-02-08 11:15:16.465925804 +0100
@@ -28,6 +28,9 @@
 ifdef PTXCONF_ARCH_X86
 GENERIC_KERNEL_ARCH := "x86"
 endif
+ifdef PTXCONF_ARCH_X86_64
+GENERIC_KERNEL_ARCH := "x86_64"
+endif
 ifdef PTXCONF_ARCH_PPC
 GENERIC_KERNEL_ARCH := "powerpc"
 endif
Index: ptxdist-2013.01.0/rules/lm_sensors.make
===================================================================
--- ptxdist-2013.01.0.orig/rules/lm_sensors.make 2013-02-08 11:30:13.601952539 +0100
+++ ptxdist-2013.01.0/rules/lm_sensors.make 2013-02-08 11:51:37.461990796 +0100
@@ -69,7 +69,7 @@
  @$(call install_copy, lm_sensors, 0, 0, 0755, -, /usr/sbin/pwmconfig)
 endif
 
-ifdef PTXCONF_ARCH_X86
+ifneq ($(call ifdef_any_of,PTXCONF_ARCH_X86 PTXCONF_ARCH_X86_64),)
 ifdef PTXCONF_LM_SENSORS_ISASET
  @$(call install_copy, lm_sensors, 0, 0, 0755, -, /usr/sbin/isaset)
 endif
Index: ptxdist-2013.01.0/platforms/kernel.in
===================================================================
--- ptxdist-2013.01.0.orig/platforms/kernel.in 2013-01-08 10:40:10.000000000 +0100
+++ ptxdist-2013.01.0/platforms/kernel.in 2013-02-08 13:55:40.722212603 +0100
@@ -41,9 +41,10 @@
 
 choice
  prompt "kernel architecture "
- depends on ARCH_PPC || ARCH_X86
+ depends on ARCH_PPC || ARCH_X86 || ARCH_X86_64
  default KERNEL_ARCH_POWERPC if ARCH_PPC
  default KERNEL_ARCH_X86 if ARCH_X86
+ default KERNEL_ARCH_X86_64 if ARCH_X86_64
  help
   For x86 and PowerPC there are different possibilities to set the kernel
   architecture:
@@ -74,7 +75,7 @@
 
  config KERNEL_ARCH_X86_64
  bool
- depends on ARCH_X86
+ depends on ARCH_X86_64
  prompt "x86_64 "
 
 endchoice