If you have time, read up on the basics: http://www.erights.org/talks/promises/paper/tgc05-submitted....
https://www.reddit.com/r/sysadmin/comments/4n3e1s/the_state_... https://sourceforge.net/blog/sourceforge-acquisition-and-fut...
Are you upstreaming qemu, uboot, Linux, GCC, GDB etc changes?
Will we see a Debian port for this?
For Parallella: Linux upstream, uboot might be as well? Runs Debian, Ubuntu, etc
https://github.com/adapteva