| CONFIG_ARM=y |
| CONFIG_SOC_SERIES_STM32L1X=y |
| CONFIG_SOC_STM32L151XBA=y |
| # 32MHz system clock |
| CONFIG_SYS_CLOCK_HW_CYCLES_PER_SEC=32000000 |
| |
| # enable uart driver |
| CONFIG_SERIAL=y |
| |
| # enable pinmux |
| CONFIG_PINMUX=y |
| |
| # enable GPIO |
| CONFIG_GPIO=y |
| |
| # clock configuration |
| CONFIG_CLOCK_CONTROL=y |
| # SYSCLK selection |
| CONFIG_CLOCK_STM32_SYSCLK_SRC_PLL=y |
| # Use HSI source |
| CONFIG_CLOCK_STM32_PLL_SRC_HSI=y |
| CONFIG_CLOCK_STM32_PLL_DIVISOR=2 |
| # produce 32Mhz clock at PLL output |
| CONFIG_CLOCK_STM32_PLL_MULTIPLIER=4 |
| CONFIG_CLOCK_STM32_AHB_PRESCALER=1 |
| CONFIG_CLOCK_STM32_APB1_PRESCALER=1 |
| |
| # console |
| CONFIG_CONSOLE=y |
| CONFIG_UART_CONSOLE=y |
