/mali_kbase/platform/vexpress_6xvirtex7_10mhz/
../
Kbuild
mali_kbase_config_platform.h
mali_kbase_config_vexpress.c