# # Freescale Kinetis K40 devices # set CHIPNAME k40 source [find target/kx.cfg]