root@debian:/home/sunxi-mali# make config  EGL_TYPE=frambuffer
make: Warning: File `Makefile' has modification time 1.3e+07 s in the future
rm -f config.mk
make config.mk
make[1]: Entering directory `/home/sunxi-mali'
make[1]: Warning: File `Makefile' has modification time 1.3e+07 s in the future
make -f Makefile.config
ABI="armhf" (Detected)
make[2]: Warning: File `Makefile' has modification time 1.3e+07 s in the future
make[2]: warning:  Clock skew detected.  Your build may be incomplete.
VERSION="r3p0" (Detected)
EGL_TYPE="frambuffer" (Provided)
make[2]: Entering directory `/home/sunxi-mali'
Makefile.config:80: Unknown/unhandled EGL type "frambuffer"
Makefile.config:81: Use EGL_TYPE=(framebuffer,x11) instead
Makefile.config:82: *** Unknown/unhandled EGL type "frambuffer".  Stop.
make[2]: Leaving directory `/home/sunxi-mali'
make[1]: *** [config.mk] Error 2
make[1]: Leaving directory `/home/sunxi-mali'
make: *** [config] Error 2