This repository contains the Mali-400 proprietary libraries. It is not for standalone use and should instead be used as a submodule for the sunxi-mali repository, which includes a build system. As for the r3p2-01rel1 binaries, these are actually r3p2-01rel2 binaries, but they should be compatible with even a r3p2-01rel1 kernel side.