Hey there, I'm considering seeing if I can get GuixSD to work on an ARM board of mine. I'd like to know what the main blockers are that I'll need to pass. From what I've read and understood, the reason there's no ARM port now is lack of work and reliance on GRUB. Assuming I bootstrap and set up a u-boot package for my specific board, what else would I need to do?
Cheers, Jookia.
