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 T628 user space driver performance

Hi, I have an OpenCL program that runs on a Mali T628 platform. Originally I was using kernel driver r5p1-00rel1 and user driver r5p0-06rel0. But I was constantly hitting what seemed like a deadlock in...
OpenCL Mali T7xx user space driver

Hello, I`have arm board on rk3288 with mali t760. If I install an operating system based on Linux kernel (Ubuntu for example), will I be able to use OpenCL ? Is there open access driver for OpenCL or...
OpenCL Mali T7xx user space driver

Hello, I`have arm board on rk3288 with mali t760. If I install an operating system based on Linux kernel (Ubuntu for example), will I be able to use OpenCL ? Is there open access driver for OpenCL or...