Jesse Keating 7a32965
# CONFIG_HIGHMEM4G is not set
Jesse Keating 7a32965
CONFIG_HIGHMEM64G=y
Jesse Keating 7a32965
Jesse Keating 7a32965
CONFIG_XEN_DEV_EVTCHN=m
Jesse Keating 7a32965
CONFIG_XEN_SYS_HYPERVISOR=y
Chuck Ebbert 2de9721
Chuck Ebbert 2de9721
# I2O only works on non-PAE 32-bit x86
Chuck Ebbert 2de9721
# CONFIG_I2O is not set