Write Fedora CoreOS to SD cards for Raspberry Pi 4 boards with RPI_EFI and full firmware device-tree support.

• Cache image and firmware archives:

  make cache
  

• Write Fedora CoreOS, Raspberry Pi firmware, and the RPI_EFI EDK2 boot-loader an SD card:

  sudo make install DEVICE=/dev/YOUR_SD_CARD IGNITION_URL=https://your.ignition/json/file
  

• Put the SD card into your Raspberry Pi

• Connect ethernet and power; your device will boot Fedora CoreOS and apply the bundled Ignition configuration.

NOTE First-boot may take up to 5 minutes to provision in an accessible SSH server. Subsequent boots take up to a minute due to the time required to load and decompress the kernel from the SD card into memory. You may want to attach a monitor to observe a few boot-cycles for your sanity... Using a USB-3 storage device for a boot disk instead of the SD card may reduce boot times at the expense of tying up one of your board's precious USB-3 ports.

The efi-1.34 directory contains a modified config.txt and a pre-configured instance of the RPI_EFI.fd boot-loader from pftf/RPi4. The RPI_EFI's configuration interface (accessed by pressing [esc] at startup) persists EFI configuration values within it's own RPI_EFI.fd binary. The instance included herein has its default 3GB memory limit disabled, the firmware device-tree enabled, and the memory-card slot set as the next boot device to achieve the mythical Headless Raspberry Pi Provisioning Experience™.