If anyone wants to help to make Debian work on the RPi without the proprietary boot firmware from Broadcom/RPi folks, the solution is to package a VC4 GPU compiler for Debian and then improve and package the rpi-open-firmware project.
https://github.com/librerpi/rpi-open-firmware/ https://github.com/itszor/vc4-toolchain/issues/7 -- bye, pabs https://wiki.debian.org/PaulWise
