> Not sure if anything was actually written though.

The librerpi project

« librerpi is a FOSS boot firmware based on littlekernel for Raspberry Pi boards, it replaces the proprietary boot firmware normally used to boot. »

https://librerpi.github.io/