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