# Copyright (c) 2020 Inria
#
# This file is subject to the terms and conditions of the GNU Lesser
# General Public License v2.1. See the file LICENSE in the top level
# directory for more details.
#

config BOARD
    default "stm32f723e-disco" if BOARD_STM32F723E_DISCO

config BOARD_STM32F723E_DISCO
    bool
    default y
    select CPU_MODEL_STM32F723IE

    # Put defined MCU peripherals here (in alphabetical order)
    select HAS_PERIPH_I2C
    select HAS_PERIPH_RTC
    select HAS_PERIPH_RTT
    select HAS_PERIPH_SPI
    select HAS_PERIPH_TIMER
    select HAS_PERIPH_UART
    select HAS_PERIPH_UART_HW_FC
    select HAS_PERIPH_USBDEV
    select HAS_PERIPH_USBDEV_HS
    select HAS_PERIPH_USBDEV_HS_UTMI

    # Put other features for this board (in alphabetical order)
    select HAS_TINYUSB_DEVICE

    # Clock configuration
    select BOARD_HAS_HSE
    select BOARD_HAS_LSE

    select HAVE_SAUL_GPIO
    select HAVE_FT5X06
    select MODULE_PERIPH_UART_HW_FC if HAS_PERIPH_UART_HW_FC && MODULE_PERIPH_UART
    # Workaround due to stdout only working with stdin enabled
    select MODULE_STDIN if TEST_KCONFIG

config CLOCK_HSE
    default 25000000

config MODULE_PERIPH_INIT_LED0
    default n if MODULE_PERIPH_SPI

source "$(RIOTBOARD)/common/stm32/Kconfig"