Xen DomU: make sure kernel is gzip compressed, pygrub cannot handle xz

SVN-Revision: 28197

diff --git a/target/linux/x86/xen_domu/config-default b/target/linux/x86/xen_domu/config-default
index 7e00fbe2f6b4663c72722f6fe81c53f15576a455..a42c6f38238b238f9311764be3226b425b1b65c6 100644 (file)
--- a/target/linux/x86/xen_domu/config-default
+++ b/target/linux/x86/xen_domu/config-default
@@ -14,6 +14,11 @@ CONFIG_HVC_DRIVER=y
 CONFIG_HVC_IRQ=y
 CONFIG_HVC_XEN=y
 CONFIG_ISA_DMA_API=y
+CONFIG_KERNEL_GZIP=y
+# CONFIG_KERNEL_BZIP2 is not set
+# CONFIG_KERNEL_LZMA is not set
+# CONFIG_KERNEL_LZO is not set
+# CONFIG_KERNEL_XZ is not set
 # CONFIG_KVM_CLOCK is not set
 # CONFIG_KVM_GUEST is not set
 # CONFIG_LGUEST_GUEST is not set