Index: xen-ia64-unstable-14854/buildconfigs/linux-defconfig_xen_ia64
===================================================================
--- xen-ia64-unstable-14854.orig/buildconfigs/linux-defconfig_xen_ia64	2007-04-17 11:36:08.000000000 +0900
+++ xen-ia64-unstable-14854/buildconfigs/linux-defconfig_xen_ia64	2007-04-17 11:44:03.000000000 +0900
@@ -146,6 +146,8 @@ CONFIG_ARCH_SPARSEMEM_ENABLE=y
 CONFIG_PERFMON=y
 CONFIG_IA64_PALINFO=y
 CONFIG_SGI_SN=y
+CONFIG_KEXEC=y
+CONFIG_CRASH_DUMP=y
 
 #
 # SN Drivers
@@ -1404,6 +1406,7 @@ CONFIG_FAT_DEFAULT_IOCHARSET="iso8859-1"
 #
 CONFIG_PROC_FS=y
 CONFIG_PROC_KCORE=y
+# CONFIG_PROC_VMCORE is not set
 CONFIG_SYSFS=y
 CONFIG_TMPFS=y
 # CONFIG_HUGETLB_PAGE is not set