So I modified the make file like that since the mali driver source code is located in that path.=======================================================================KCFLAGS="-I../../../mail400_driver/driver/src/devicedrv/mali"GATOR_WITH_MALI_SUPPORT=MALI_400=======================================================================