Hi, I was about to create the Barebox IRC channel on freenode when I realized it already exist :) So for people who didn't know, there is a Barebox IRC channel on freenode.... @Sascha: may be you could add this info to the barebox website. Franck.