Configuration files for building Mali GPU DDK - View it on GitHub