Building firmware with gcc

Ah, I guess:

git fetch origin gcc

is needed once to add the gcc branch locally. The git version I am using (1.7.0.4) does this automatically for you.

No, we should really fix the code in the LIB main() to do it itself instead :slight_smile: