fedora-rpi4.txt

How to install Fedora 32 on a Raspberry Pi 4 in 64-bit mode (aarch64 / ARM64
architecture):

- Put RPi4-UEFI firmware on the SD card: https://rpi4-uefi.dev/

  - The SD card by default has a FAT16 partition that is the RPi boot
    partition. Delete everything there and unzip an RPi4-UEFI release zip in
    the root. If starting from a blank SD card, create one partition (DOS
    partition table type), and format it as FAT16.

- Attach an HDMI display and a USB keyboard and mouse. Boot the RPi4-UEFI
  firmware. You should see a message indicating 'DEL for setup'. Enter setup.

  - Turn off the 3GB memory limit. (It doesn't seem a modern Linux kernel needs
    this compatibility hack.)

  - Enable ACPI + Devicetree. The Linux kernel seems to need the Devicetree
    info to recognize the onboard Ethernet.

- Insert two USB flash drives.

  - One of them should be a Fedora aarch64 installer. Download the default
    Fedora Server Edition aarch64 ISO, and dd it directly to a flash drive.

  - The other will be your system drive. Ideally, choose a fast USB stick
    (e.g., USB3, and modern flash).

- Reset the RPi4. It should boot by default off of the USB installer stick. If
  not, enter setup, go to boot options, and select the USB device there.

- Install Fedora 32 just as you would on a PC.

- Enjoy!