• Radxa CM5
• Raspberry Pi CM4 I/O board (or any other board that uses the same pinouts for HDMI, USB and microSD)

I used rawhide.

1. Prepare physical media
   1. Download radxa-cm5_UEFI_Release_v….img from https://github.com/kwankiu/edk2-rk3588/releases
   2. Write to a microSD card, insert into Radxa CM5
   3. Download Fedora-Workstation-Disk-Rawhide-…aarch64.raw.xz image from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Workstation/aarch64/images/
   4. Write to USB disk, insert into Radxa CM5
2. First boot (ACPI mode)
   1. Power on Radxa CM5
   2. Press F2 within 5 seconds to enter UEFI Setup
      1. If the display is not at the native resolution of your monitor,
         1. Device Manager → Rockchip Platform Configuration → Display → Preferred Mode
         2. Set it to the actual native resolution of your LCD instead of Native
         3. Press F10 → Y to save the settings
         4. Press Ctrl + Alt + Del to reset the system
   3. Wait for Fedora to boot
      1. There will be no boot progress indication, it will take several minutes to boot into the desktop environment
      2. Gnome shell will take a few more minutes to load
      3. Wait until you see the first-time setup dialog of Fedora
      4. Be very patient, especially if your USB disk is slow
3. Prepare DTB
   1. Open a Terminal window
   2. `cd /boot/dtb/rockchip`
   3. TODO