Unofficial patches for the Mali Midgard kernel drivers r19p0 on Linux 4.17

Greetings, I can't seem to make this a discussion so... I'm posting it as a question. Here I provide a few patches I wrote to compile the Mali Midgard kernel drivers r19p0, along with the Mali UMP...
Not able to download midgard-kernel TX011-SW-99002-r16p0-00rel0.gz

Hi All, I am not able to download the latest migdard kernel driver TX011-SW-99002-r16p0-00rel0.gz https://developer.arm.com/products/software/mali-drivers/midgard-kernel when I accept he GPL agreement...
midgard r20p0 kernel drivers errors

Hi, I am using r20p0 midgard drivers with kernel 4.14 (rc4) on an odroid xu4 board. I have enabled DEVFREQ, and have simple_ondemand and performance governors available (default set to performance...
ARM software avoids the kernel to be patched

Hello, sadly ARM software avoids the kernel on my device to be patched. I'm not ablet in anyway to compile a working mali.ko kernel module to get the binaries libMali.so and libUmp.so connected to...
Mali Midgard kernel drivers r15p0-00rel0 packages content swapped

The r15p0-00rel0 Linux generic and Linux Android packages content have been swapped : The r15p0-00rel0 Linux kernel drivers package contains the Android specific drivers (i.e. TX011 contains TX041...