Fedora CoreOS on RPi4.md

How-To: Install Fedora CoreOS on RPi4

Assuming your target device is /dev/mmcblk0

• Find latest fedora release https://builds.coreos.fedoraproject.org/browser?stream=stable&arch=aarch64
• Install Rust
  rustup toolchain install stable
• Install coreos-installer
  cargo install coreos-installer
• Install Fedora Butane
• Write config into butane.yaml
  https://coreos.github.io/butane/getting-started/#writing-and-using-butane-configs
• Transpile butane.yaml to butane.ign
butane --pretty --strict butane.yaml > butane.ign
• Install coreos
  coreos-installer install /dev/mmcblk0 -i butane.ign -f fedora-coreos-34.20210821.3.0-metal.aarch64.raw --offline --insecure (potentially add --append-karg usb-storage.quirks=152d:0578:u with the usb id of your SATA usb adapter if you use one)
• Download RPi4 UEFI
  https://github.com/pftf/RPi4/releases
• Extract UEFI to /dev/mmcblk0p2
• Run e2fsck -f /dev/mmcblk0p3
• Run tune2fs -U random /dev/mmcblk0p3