# Kconfig - Kinetis K80F25615 configuration options
#
# Copyright (c) 2019 SEAL AG
# SPDX-License-Identifier: Apache-2.0
if SOC_MK80F25615
config SOC
string
default "mk80f25615"
endif # SOC_MK80F25615