lkcl, the developer of eoma68 is offering to send some early boards out to people who will be helping to port OS's to eoma68. I'm posting this here to see if anyone is interested in getting one of these to bring GuixSD to the eoma68. I personally don't know much about uboot, guix, or porting linux, so it would probably be a poor decision for me to get one. I am extremely interested in seeing GuixSD running on an eoma68 though. If there is anyone is interested I'll bring this up on the eoma68 (arm-netbook) mailing list.