SUPPORT_LINUX_X86_WRITECOMBINE ?=1
 SUPPORT_SGX_LOW_LATENCY_SCHEDULING ?=1
 
-SUPPORT_CPU_CACHED_BUFFERS ?= 0
+SUPPORT_CPU_CACHED_BUFFERS ?= 1
 
-SUPPORT_CACHEFLUSH_ON_ALLOC ?= 0
-SUPPORT_MEMINFO_IDS ?= 0
+SUPPORT_CACHEFLUSH_ON_ALLOC ?= 1
+SUPPORT_MEMINFO_IDS ?= 1
+SUPPORT_GRAPHICS_HAL ?= 1
 
 SUPPORT_LINUX_USING_WORKQUEUES ?= 1
 
 
 SYS_CFLAGS.$(SUPPORT_TI_PM)                             += -DSUPPORT_TI_PM
 
+SYS_CFLAGS += -DSGX_DYNAMIC_TIMING_INFO -DSYS_CUSTOM_POWERLOCK_WRAP
+# PVR_LINUX_MISR_USING_WORKQUEUE
+
 export ALL_CFLAGS =    -DLINUX \
                        $(CBUILD) $(CBUILD.$(BUILD)) \
                        $(SYS_CFLAGS) $(SYS_CFLAGS.1) \