# Digilent Arty board configuration | |
# Copyright (c) 2020 Henrik Brix Andersen <henrik@brixandersen.dk> | |
# SPDX-License-Identifier: Apache-2.0 | |
config BOARD_ARTY_A7 | |
select SOC_DESIGNSTART_FPGA_CORTEX_M1 if BOARD_ARTY_A7_DESIGNSTART_FPGA_CORTEX_M1 | |
select SOC_DESIGNSTART_FPGA_CORTEX_M3 if BOARD_ARTY_A7_DESIGNSTART_FPGA_CORTEX_M3 |