AIUI, the GPU is used to boot the PI through its SD card interface.
Is there any info around on the file format needed, as my interest (and professional experience going back over 40 years) is as a low-level OS and driver bod?
Also, has anyone attempted to adapt a hard disk to emulate the SD card interface?