I'm attempting to install Arch Linux ARM on my Raspberry Pi 4B using instructions on https://github.com/phortx/Raspberry-Pi-Setup-Guide.
I first used an existing Arch Linux instance running on VirtualBox to handle disk partitioning, but there was no video output and the ACT LED was blinking 4 times.
To make sure it wasn't faulty VirtualBox virtual hard drives, I installed all the necessary tools on my Mac for installation (gtpfdisk, Paragon extFS, etc). There were some issues with the last step of moving boot files to the boot partition (step 1.3 on the instructions, sudo mv root/boot/* boot/) in which mv would throw `fchflags...Invalid argument` exceptions, but I eventually transferred all the files by drag-n-drop in Finder—perhaps some files were lost here. However I got the same result as before: no video output and 4 LED blinks. The Boot Problems sticky post says 0 long flashes and 4 short flashes indicates "start*.elf not found" on RPI 4B, but loading the SD card onto my laptop I can find start_cd.elf, start_db.elf, start_x.elf, start.elf, start4.elf, start4cd.elf, start4db.elf, start4x.elf.
What steps should I take to boot Arch Linux ARM?
Extra info:
* Raspberry Pi 4B 4GB, bought last week
* MacBook Pro running Catalina
* LG 4K HDR Display
* 32 GB Samsung SD Card
* Installed Raspbian as a sanity check using Raspberry Pi Imager—everything works fine