Hi Larry,
The Mali Driver comes in 2 parts, kernel side and userspace side.
The kernel side is under GPL and freely available to download from our website, as you have already found.
However the userspace side is proprietary. We do not give the sources publicly to this.
It is expected that you get your Mali driver from the SoC vendor. In this instance it would be Samsung.
However please note that a lot of development board companies also provide BSPs with working Mali driver binaries integrated.
For example, if you were using the HardKernel ODROID X (which has the Exynos 4412), you would obtain the userspace Mali driver from HardKernel.
I hope that helps clarify things for you.
Kind Regards
Michael McGeagh