Where is mali utguard(mali-400) user space driver?

I only found a Hikey driver from below link. http://malideveloper.arm.com/resources/drivers/arm-mali-utgard-gpu-user-space-drivers/ Where is the previous release like mali400 r4p0/r5p0/r5p2?
Where is mali utguard(mali-400) user space driver?

I only found a Hikey driver from below link. http://malideveloper.arm.com/resources/drivers/arm-mali-utgard-gpu-user-space-drivers/ Where is the previous release like mali400 r4p0/r5p0/r5p2?
MALI-400 Driver Support Issue

Note: This was originally posted on 25th September 2012 at http://forums.arm.com Hi, I am working on Galaxy S3, Exynos quad-core, [font=sans-serif]1.4 GHz quad-core [/font] Cortex-A9 with MALI-400 MP...
Mali 400 driver integration guide

Hi to all! I've been working on getting mali 400 to work on my rk3066 device, but no luck. I'm trying to understand how to implement complete kernel-side drivers (ump secure id, modifications to rk...
MALI-400 Driver Support Issue

Note: This was originally posted on 25th September 2012 at http://forums.arm.com Hi, I am working on Galaxy S3, Exynos quad-core, [font=sans-serif]1.4 GHz quad-core [/font] Cortex-A9 with MALI-400 MP...