I’m interested to hear what the developers have to say too. I did a bit of research on this and discovered this repository: https://gitlab.freedesktop.org/lima/web/wikis/home
Which aim is to create an open source replacement.
Edit: Seems like there is one developer working on on an open source driver for the Mali GPU. It was proposed to add it to mainline. [1]
But, it’s lacking a few things such as power management, which sounds like it’d be important for the gameshell 
. Kind of bummed to learn this, but I already placed an order so oh well 
.