Crosstool NG config for Tiva C microcontroller