You can find open-source firmware attempts by the community, but they haven't gotten much farther than booting the Pi.

I'm just saying that if RPT tried to write their own firmware, they could be in big legal trouble, so I wouldn't expect any open-source firmware from RPT anytime soon.