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) \