|  | # STMicroelectronics STM32F4 MCU line | 
|  |  | 
|  | # Copyright (c) 2016 Linaro Limited | 
|  | # SPDX-License-Identifier: Apache-2.0 | 
|  |  | 
|  | # Kconfig symbols common to STM32F4 series | 
|  |  | 
|  | if SOC_SERIES_STM32F4X | 
|  |  | 
|  | rsource "Kconfig.defconfig.stm32f4*" | 
|  |  | 
|  | # adjust the fallback because of the LSI oscaillator characteristics | 
|  | config TASK_WDT_HW_FALLBACK_DELAY | 
|  | depends on TASK_WDT_HW_FALLBACK | 
|  | default 200 | 
|  |  | 
|  | if PM | 
|  |  | 
|  | config COUNTER | 
|  | default y | 
|  |  | 
|  | config COUNTER_RTC_STM32_SUBSECONDS | 
|  | default y if DT_HAS_ST_STM32_RTC_ENABLED | 
|  |  | 
|  | config IDLE_STACK_SIZE | 
|  | default 512 | 
|  |  | 
|  | endif # PM | 
|  |  | 
|  | endif # SOC_SERIES_STM32F4X |