/usr/src/linux-sunxi/drivers/gpu/mali/mali/Kbuild:48: "USING_PROFILING not supported, disabling."
gcc: /drivers/gpu/mali/mali/arch/config.h: No such file or directory
gcc: no input files
gcc: /drivers/gpu/mali/mali/arch/config.h: No such file or directory
gcc: no input files
gcc: /drivers/gpu/mali/mali/arch/config.h: No such file or directory
gcc: no input files
grep: /drivers/gpu/mali/mali/include/linux/mali/mali_utgard_uk_types.h: No such file or directory
gcc: /drivers/gpu/mali/mali/arch/config.h: No such file or directory
gcc: no input files
gcc: /drivers/gpu/mali/mali/arch/config.h: No such file or directory
gcc: no input files
gcc: /drivers/gpu/mali/mali/arch/config.h: No such file or directory
gcc: no input files
gcc: /drivers/gpu/mali/mali/arch/config.h: No such file or directory
gcc: no input files
  CC [M]  drivers/gpu/mali/mali/common/mali_kernel_core.o
In file included from drivers/gpu/mali/mali/common/mali_pp_job.h:19,
                 from drivers/gpu/mali/mali/common/mali_pp.h:15,
                 from drivers/gpu/mali/mali/common/mali_group.h:19,
                 from drivers/gpu/mali/mali/common/mali_dlbu.h:15,
                 from drivers/gpu/mali/mali/common/mali_kernel_core.c:21:
drivers/gpu/mali/mali/regs/mali_200_regs.h:102:2: error: #error "No supported mali core defined"
drivers/gpu/mali/mali/regs/mali_200_regs.h:124:2: error: #error "No supported mali core defined"
drivers/gpu/mali/mali/regs/mali_200_regs.h:147:2: error: #error "No supported mali core defined"
make[4]: *** [drivers/gpu/mali/mali/common/mali_kernel_core.o] Error 1
make[3]: *** [drivers/gpu/mali/mali] Error 2
make[2]: *** [drivers/gpu/mali] Error 2
make[1]: *** [drivers/gpu] Error 2
make: *** [drivers] Error 2