Thanks joe for testing of CodeSourcery. The launchpad version is the main tested, but it _should_ be compilable with any GCC from version 4.7 and above. (GCC 4.7 is using the newlib-nano port that we use). The nano version is used only in some examples (search for LDFLAGS += --specs=nano.specs in the makefiles). 

CodeSourcery should work, so when compilation with code sourcery fails, it will be better if we will know about that issue.

With my last addition, llvm/clang (default on latest BSD) can be used too (currently with little bit hacking but in the future it will be better)