I flashed my Radxa Rock Pi 4 SPI with Armbian mainline u-boot (I could not get it up and
running with Fedora u-boot) and now I can boot Fedora ARM images from USB and NVMe
Unfortunately, I am not able to boot from a USB stick created from the workstation ISO
image (I want to try the installation feature to make non-US configuration easier). No
boot media found. Is there no u-boot used or is it due to incompatible implementations?