SVN-Revision: 33192
@ -12,6 +12,8 @@ CONFIG_HVC_DRIVER=y
CONFIG_HVC_IRQ=y
CONFIG_HVC_XEN=y
CONFIG_IOMMU_HELPER=y
CONFIG_KERNEL_GZIP=y
# CONFIG_KERNEL_XZ is not set
# CONFIG_KVM_CLOCK is not set
# CONFIG_LGUEST_GUEST is not set
# CONFIG_M486 is not set