config GCCORE
	tristate "Vivante Core Driver"
	default y
	help
           Vivante Core Driver.