Mali actually has open source driver, which makes rk3288 quite appealing. However there has been threads past where this SoC has been discussed even by ED, and there are concerns.
Vivante also has reversed drivers which is in much better stage than SGX reversing, but yeah.
Neverthless, this...