Unlike the Design kit makefiles, in which tool-chain (Keil, DS5 or GCC) can be chosen, the Prototyping kit makefiles uses only DS5.
Is it possible to receive Prototyping kit makefiles that support tool-chain selection and in particular GCC?