There is an experimental free boot firmware for the RPI.
https://blog.adafruit.com/2017/01/20/blobless-linux-on-raspberry-pi-rpi-open-firmware-piday-raspberrypi-raspberry_pi/Maybe in 5 years it will be usable in freedom, even with 3D graphics support. GCC supports the VC4 but not PowerVR.
