# SPDX-License-Identifier: GPL-2.0-or-later # # Freescale Kinetis K40 devices # set CHIPNAME k40 source [find target/kx.cfg]