Jesse Keating 7a3296
# CONFIG_HIGHMEM4G is not set
Jesse Keating 7a3296
CONFIG_HIGHMEM64G=y
Kyle McMartin da80d7
# CONFIG_OLPC_OPENFIRMWARE is not set
Jesse Keating 7a3296
Jesse Keating 7a3296
CONFIG_XEN_DEV_EVTCHN=m
Jesse Keating 7a3296
CONFIG_XEN_SYS_HYPERVISOR=y
Chuck Ebbert 2de972
Chuck Ebbert 2de972
# I2O only works on non-PAE 32-bit x86
Chuck Ebbert 2de972
# CONFIG_I2O is not set