# 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