Is the low level firmware open source?

I know it isn’t on the rpi, which runs a proprietary broadcom version of microsoft threadx.