# Kinetis KV58F24 configuration options
# Copyright (c) 2019 SEAL AG
# SPDX-License-Identifier: Apache-2.0
if SOC_MKV58F24
config SOC
default "mkv58f24"
endif # SOC_MKV58F24