# CONFIG_HIGHMEM4G is not set

CONFIG_HIGHMEM64G=y

CONFIG_XEN_DEV_EVTCHN=m

CONFIG_XEN_SYS_HYPERVISOR=y

CONFIG_LANGWELL_IPC=y

# CONFIG_IMG_DOES_NOT_SUPPORT_MENLOW is not set

CONFIG_PVR_RELEASE="release"

CONFIG_PVR_SERVICES4=y

CONFIG_PVR_XOPEN_SOURCE=600

CONFIG_PVR2D_VALIDATE_INPUT_PARAMS=y

CONFIG_PVR_DISPLAY_CONTROLLER="mrstlfb"

CONFIG_PVR_SGX_CORE_REV=121

CONFIG_PVR_SUPPORT_SVRINIT=y

CONFIG_PVR_SUPPORT_SGX=y

CONFIG_PVR_SUPPORT_PERCONTEXT_PB=y

CONFIG_PVR_SUPPORT_LINUX_X86_WRITECOMBINE=y

CONFIG_PVR_TRANSFER_QUEUE=y

CONFIG_PVR_SUPPORT_DRI_DRM=y

CONFIG_PVR_SYS_USING_INTERRUPTS=y

CONFIG_PVR_SUPPORT_HW_RECOVERY=y

CONFIG_PVR_SUPPORT_POWER_MANAGEMENT=y

CONFIG_PVR_SECURE_HANDLES=y

CONFIG_PVR_USE_PTHREADS=y

CONFIG_PVR_SUPPORT_SGX_EVENT_OBJECT=y

CONFIG_PVR_SUPPORT_SGX_HWPERF=y

CONFIG_PVR_SUPPORT_SGX_LOW_LATENCY_SCHEDULING=y

CONFIG_PVR_SUPPORT_LINUX_X86_PAT=y

CONFIG_PVR_PROC_USE_SEQ_FILE=y

CONFIG_PVR_SUPPORT_SGX535=y

# CONFIG_PVR_SUPPORT_CACHEFLUSH_ON_ALLOC is not set

# CONFIG_PVR_SUPPORT_MEMINFO_IDS is not set

CONFIG_PVR_SUPPORT_CACHE_LINE_FLUSH=y

CONFIG_PVR_SUPPORT_CPU_CACHED_BUFFERS=y

CONFIG_PVR_DEBUG_MESA_OGL_TRACE=y