# CONFIG_HIGHMEM4G is not set
CONFIG_HIGHMEM64G=y

CONFIG_XEN_DEV_EVTCHN=m
CONFIG_XEN_SYS_HYPERVISOR=y

CONFIG_X86_SYSFB=y
CONFIG_FB_SIMPLE=y
