Build the image of an Raspi SD card on CI

[tomaka]

Some reference: https://projects.raspberrypi.org/en/projects/raspberry-pi-setting-up/3
Then we can copy the operating system on it.
I'm unsure how the kernel should be named and where it should be located 🤷‍♂️

We might have to do something like arm-???-objcopy /path/to/redshirt-standalone-kernel -O binary kernel.bin in order to remove all the ELF headers, in which case it is probably also necessary to remove the interrupt table at 0x0 in the linker script.

[tomaka]

NOOBS documentation: https://github.com/raspberrypi/noobs/blob/master/README.md

[tomaka]

We first need to code some way to check whether that works, such as a framebuffer driver or something.

[tomaka]

Some notes: it's probably way easier use raspbian then replace kernel.img with our kernel, as the OSDev wiki recommends.

EDIT: I'm stupid, we can use https://github.com/raspberrypi/firmware instead