/mali_kbase/platform/
../
Kconfig
devicetree
meson
pixel
vexpress
vexpress_1xv7_a57
vexpress_6xvirtex7_10mhz