Question: Why two versions of GNU C Compiler???
The 3.4.0 included is RC 1, i.e. a beta version of the current release branch. It still has some bugs left, therefore it is not recommended for "deployment" code.
can we get the OS 4 SDK seperately?
Dunno to be honest. We didn't think about this possibility yet.
