Hello tylernguyen:
What do you mean with device library files? Are you referring to Kinetis header files (e.g. the MK20F12.h)?
For each Kinetis device there are two main documents:
Datasheet: Contains general technical information/specs.
Reference Manual: Describes the registers, memory, peripherals and all the info you need.
So the one you may be looking for is the Reference Manual. This can be found in the "Documentation" tab of the specific product page. For example for K20_120 MHz parts the page is in the next link:
K20_100 |Kinetis 20 100 MHz MCUs|Freescale
You will find several manuals, datasheets and application notes. The Reference Manuals and datasheets are divided by package (81 pin, 100 pin, etc). Just choose the ones for your part.
Regards!,
Jorge Gonzalez
-----------------------------------------------------------------------------------------------------------------------
Note: If this post answers your question, please click the Correct Answer button. Thank you!
-----------------------------------------------------------------------------------------------------------------------