~Given that it's already there (and presumably maintained) in the github readme, it might make sense to also provide this info on the docs site.~ Nevermind, I'd found the github link first, not sure how I missed it on the site.

What's the state of arm64 booting like? Last I looked at early boot process on arm (which was admittedly a while ago) it was kind of a mess w/o a broadly adopted standard like uefi and every processor/soc/board kind of did its own thing. Has that improved to the point where I can expect _any_ arm64 board to just work? Or do I need to worry about the specific hardware, too?

Arm booting is unfortunately still a mess, but at least for server-class machines there's been some adoption of SBSA/SBBR (https://en.wikipedia.org/wiki/Server_Base_System_Architectur...). Of course server-class machines are not the same as the cheap tat that everyone buys. You can install SBSA/SBBR-compliant firmware for your Raspberry Pi 4 (https://github.com/pftf) but it's not the default.

Most of my testing was just allocating an ARM machine on Equinix Metal as I didn't have much ARM hardware to test or qualify on. I've also gotten the bootloader and menu to work with an RPI4 but loading operating systems on one was a bit more challenging given reduced memory on the hardware.

Maybe its worth reaching out to Eben and Liz at the raspberry pi foundation to develop better support for this.

Seems like it would benefit both parties.