GNU #Mach on AArch64 now boots up and runs a simple userspace hello world on ✨ real hardware ✨ , booted from U-Boot! 🎉
Kudos to Manolo De Medici for testing & helping track down issues!
If you want to help with Mach / #Hurd on AArch64 and know anything about writing drivers and/or have an AArch64 board, please get in touch :)