Example code for the Freescale Kinetis series of processors, to be built with GCC-ARM