1# Digilent Arty board configuration
2
3# Copyright (c) 2020 Henrik Brix Andersen <henrik@brixandersen.dk>
4# SPDX-License-Identifier: Apache-2.0
5
6config BOARD_ARTY_A7
7	select SOC_DESIGNSTART_FPGA_CORTEX_M1 if BOARD_ARTY_A7_DESIGNSTART_FPGA_CORTEX_M1
8	select SOC_DESIGNSTART_FPGA_CORTEX_M3 if BOARD_ARTY_A7_DESIGNSTART_FPGA_CORTEX_M3
9