alex@alexhome> make                                                               /media/archive3/a10-dev/linux-sunxi
  CHK     include/linux/version.h
  CHK     include/generated/utsrelease.h
make[1]: `include/generated/mach-types.h' is up to date.
  CALL    scripts/checksyscalls.sh
  CHK     include/generated/compile.h
/media/archive3/a10-dev/linux-sunxi/drivers/gpu/mali/mali/Kbuild:59: "CONFIG_TRACEPOINTS required for USING_PROFILING"
gcc: error: directory: No such file or directory
gcc: error: directory": No such file or directory
gcc: error: directory: No such file or directory
gcc: error: directory": No such file or directory
gcc: error: directory: No such file or directory
gcc: error: directory": No such file or directory
gcc: error: directory: No such file or directory
gcc: error: directory": No such file or directory
gcc: error: directory: No such file or directory
gcc: error: directory": No such file or directory
gcc: error: directory: No such file or directory
gcc: error: directory": No such file or directory
gcc: error: directory: No such file or directory
gcc: error: directory": No such file or directory
  CC [M]  drivers/gpu/mali/mali/common/mali_kernel_core.o
arm-eabi-gcc: directory: No such file or directory
arm-eabi-gcc: directory": No such file or directory
<command-line>: warning: missing terminating " character
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