At 3:17 AM, the build finished. He dd’d it to an SD card, inserted it into a Pi 5, and held his breath.

While the standard x86 version of Arch Linux is famous for its monthly , Arch Linux ARM (ALARM) works differently. Because ARM devices like the Raspberry Pi or ODROID don't use a standardized BIOS/UEFI boot process like a PC, there is technically no official "Arch Linux ARM ISO" for most devices.