kernel/config-i686-PAE
2010-07-29 16:46:31 -07:00

6 lines
103 B
Plaintext

# CONFIG_HIGHMEM4G is not set
CONFIG_HIGHMEM64G=y
CONFIG_XEN_DEV_EVTCHN=m
CONFIG_XEN_SYS_HYPERVISOR=y