# CONFIG_KERNEL_BZIP2 is not set
# CONFIG_KERNEL_LZMA is not set
#
-CONFIG_LOCALVERSION="test"
-# CONFIG_LOCALVERSION_AUTO is not set
+CONFIG_LOCALVERSION="-xtt"
+CONFIG_LOCALVERSION_AUTO=y
# CONFIG_DEBUG_KMEMLEAK is not set
#
# CONFIG_DGRS is not set
CONFIG_EEPRO100=m
CONFIG_E100=m
+CONFIG_ATL1C=m
+CONFIG_SKY2=m
CONFIG_NE2K_PCI=m
CONFIG_TLAN=m
CONFIG_VIA_RHINE=m
CONFIG_AGP_EFFICEON=y
+CONFIG_XEN_GNTDEV=y
+CONFIG_XEN_GRANT_DEV_ALLOC=y
CONFIG_XEN_BACKEND=y
CONFIG_XEN_NETDEV_BACKEND=y
CONFIG_XEN_BLKDEV_BACKEND=y
CONFIG_XEN_PCIDEV_BACKEND_PASS=y
# CONFIG_XEN_PCIDEV_BACKEND_SLOT is not set
# CONFIG_XEN_PCIDEV_BACKEND_CONTROLLER is not set
+#
+CONFIG_HIGHMEM64G=y
+CONFIG_X86_PTDUMP=y
+CONFIG_DEBUG_INFO=y
+CONFIG_DEBUG_INFO_REDUCED=y