On Sat, Jun 5, 2021 at 8:08 AM Marc Haber wrote: > I'd still consider the Raspberry Pi. It's unfortunate that the binary > non-free blob is already needed to boot the box
There is a free replacement for the binary non-free blob here: https://github.com/librerpi/rpi-open-firmware/ Unfortunately it requires a GCC version that is not mainlined and doesn't look like it ever will be: https://github.com/itszor/vc4-toolchain https://github.com/itszor/vc4-toolchain/issues/7 -- bye, pabs https://wiki.debian.org/PaulWise
