Hi,
Sorry for delay.
I've checked with development team and the source files you're looking for were not delivered.
Last year a new Kinetis development tool chain was released: KDS.
The KDS V2.0 is the last version released 2 months ago.
This development tool is using GCC too.
On this version all source files are delivered (not files you're looking for).
Have a great day,
Pascal
Freescale Technical Support
-----------------------------------------------------------------------------------------------------------------------
Note: If this post answers your question, please click the Correct Answer button. Thank you!
-----------------------------------------------------------------------------------------------------------------------