# Digilent Arty board configuration

# Copyright (c) 2020 Henrik Brix Andersen <henrik@brixandersen.dk>
# SPDX-License-Identifier: Apache-2.0

config BOARD_INIT_PRIORITY
	int "Board initialization priority"
	default 50
	depends on BOARD_ARTY_A7_ARM_DESIGNSTART_M1 || BOARD_ARTY_A7_ARM_DESIGNSTART_M3
	depends on "$(dt_nodelabel_enabled,daplink_qspi_mux)"
	help
	  Board initialization priority. The board initialization must take
	  place after the GPIO driver is initialized.