Hi Danny, Tested u-boot-beagle-bone-black, it boots arch linux arm after making some modifications.
I managed to build the system natively and install it using guix system init. This required a few modifications here and there. There's a boot problem obviously - would be to easy if not. I ordered a ftdi breakout cable, so that I can get some serial output, so I'll probably be able to continue next weekend. David