Hmm. This https://s-matyukevich.github.io/raspberry-pi-os/ made it seem like it's about as open as an x86 PC. The only thing I see that's proprietary is the very initial bootloader that apparently runs on the GPU. But then x86 motherboards come with proprietary BIOSes as well.