Fedora CoreOS not boot on Raspberry Pi 4b

[EvgenyLyutikov]

After writing an SD card with the U-boot method described here, the Pi 4b not start boot.
Bootloader (version pieeprom-2024-01-22.bin) prints that firmware not found and try search files on partition 0

Partition map

Disk /dev/sda: 7,42 GiB, 7964983296 bytes, 15556608 sectors
Disk model: Flash Reader    
Units: sectors of 1 * 512 = 512 bytes
Sector size (logical/physical): 512 bytes / 512 bytes
I/O size (minimum/optimal): 512 bytes / 512 bytes
Disklabel type: gpt
Disk identifier: 00000000-0000-4000-A000-000000000001

Device       Start     End Sectors  Size Type
/dev/sda1     2048    4095    2048    1M Linux reserved
/dev/sda2     4096  264191  260096  127M EFI System
/dev/sda3   264192 1050623  786432  384M Linux filesystem
/dev/sda4  1050624 5801950 4751327  2,3G Linux filesystem

[dustymabe]

weird. we do have a test day coming up so I imagine a few more people will try out this process and we'll see if they have luck then.