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 :)