2010-07-29 23:46:31 +00:00
|
|
|
# CONFIG_HIGHMEM4G is not set
|
|
|
|
|
CONFIG_HIGHMEM64G=y
|
2010-08-17 20:06:35 +00:00
|
|
|
# CONFIG_OLPC_OPENFIRMWARE is not set
|
2010-07-29 23:46:31 +00:00
|
|
|
|
|
|
|
|
CONFIG_XEN_DEV_EVTCHN=m
|
|
|
|
|
CONFIG_XEN_SYS_HYPERVISOR=y
|
2010-09-03 09:23:00 +00:00
|
|
|
|
|
|
|
|
# I2O only works on non-PAE 32-bit x86
|
|
|
|
|
# CONFIG_I2O is not set
|
