# SPDX-License-Identifier: Apache-2.0

CONFIG_SOC_SERIES_STM32L1X=y
CONFIG_SOC_STM32L151XB=y
CONFIG_SYS_CLOCK_HW_CYCLES_PER_SEC=32000000

# enable uart driver
CONFIG_SERIAL=y

# enable console
CONFIG_CONSOLE=y
CONFIG_UART_CONSOLE=y

# enable pinmux
CONFIG_PINMUX=y

# enable GPIO
CONFIG_GPIO=y

# clock configuration
CONFIG_CLOCK_CONTROL=y

CONFIG_CLOCK_STM32_SYSCLK_SRC_PLL=y
# out of the box, MCO from stlink is not enabled, unlike later discos
CONFIG_CLOCK_STM32_PLL_SRC_HSI=y
# produce 32MHz clock at PLL output
CONFIG_CLOCK_STM32_PLL_DIVISOR=4
CONFIG_CLOCK_STM32_PLL_MULTIPLIER=8
CONFIG_CLOCK_STM32_AHB_PRESCALER=1
CONFIG_CLOCK_STM32_APB1_PRESCALER=1
CONFIG_CLOCK_STM32_APB2_PRESCALER=1
