1# Digilent Arty board configuration
2
3# Copyright (c) 2020 Henrik Brix Andersen <henrik@brixandersen.dk>
4# SPDX-License-Identifier: Apache-2.0
5
6if BOARD_ARTY_A7_DESIGNSTART_FPGA_CORTEX_M1 || BOARD_ARTY_A7_DESIGNSTART_FPGA_CORTEX_M3
7
8config CPU_CORTEX_M_HAS_SYSTICK
9	default y
10
11config CPU_HAS_ARM_MPU
12	default y if BOARD_ARTY_A7_DESIGNSTART_FPGA_CORTEX_M3
13
14config NUM_IRQS
15	default 7
16
17config GPIO
18	default y if "$(dt_nodelabel_enabled,daplink_qspi_mux)"
19
20endif # BOARD_ARTY_A7_DESIGNSTART_FPGA_CORTEX_M1 || BOARD_ARTY_A7_DESIGNSTART_FPGA_CORTEX_M3
21