config: Update default config for user irq

board/discoveryf4/defconfig

@@ -62,3 +62,89 @@ CONFIG_KPROBES=y
 CONFIG_SYMMAP=y
 CONFIG_PANIC_DUMP_STACK=y
 # CONFIG_LOADER is not set
+
+#
+# User IRQ
+#
+# CONFIG_WWDG_USER_IRQ is not set
+# CONFIG_PVD_USER_IRQ is not set
+# CONFIG_TAMP_STAMP_USER_IRQ is not set
+# CONFIG_RTC_WKUP_USER_IRQ is not set
+# CONFIG_FLASH_USER_IRQ is not set
+# CONFIG_RCC_USER_IRQ is not set
+# CONFIG_EXTI0_USER_IRQ is not set
+# CONFIG_EXTI1_USER_IRQ is not set
+# CONFIG_EXTI2_USER_IRQ is not set
+# CONFIG_EXTI3_USER_IRQ is not set
+# CONFIG_EXTI4_USER_IRQ is not set
+# CONFIG_DMA1_Stream0_USER_IRQ is not set
+# CONFIG_DMA1_Stream1_USER_IRQ is not set
+# CONFIG_DMA1_Stream2_USER_IRQ is not set
+# CONFIG_DMA1_Stream3_USER_IRQ is not set
+# CONFIG_DMA1_Stream4_USER_IRQ is not set
+# CONFIG_DMA1_Stream5_USER_IRQ is not set
+# CONFIG_DMA1_Stream6_USER_IRQ is not set
+# CONFIG_ADC_USER_IRQ is not set
+# CONFIG_CAN1_TX_USER_IRQ is not set
+# CONFIG_CAN1_RX_USER_IRQ is not set
+# CONFIG_CAN1_RX1_USER_IRQ is not set
+# CONFIG_CAN1_SCE_USER_IRQ is not set
+# CONFIG_EXTI9_5_USER_IRQ is not set
+# CONFIG_TIM1_BRK_TIM9_USER_IRQ is not set
+# CONFIG_TIM1_UP_TIM10_USER_IRQ is not set
+# CONFIG_TIM1_TRG_COM_TIM11_USER_IRQ is not set
+# CONFIG_TIM1_CC_USER_IRQ is not set
+# CONFIG_TIM2_USER_IRQ is not set
+# CONFIG_TIM3_USER_IRQ is not set
+# CONFIG_TIM4_USER_IRQ is not set
+# CONFIG_I2C1_EV_USER_IRQ is not set
+# CONFIG_I2C1_ER_USER_IRQ is not set
+# CONFIG_I2C2_EV_USER_IRQ is not set
+# CONFIG_I2C2_ER_USER_IRQ is not set
+# CONFIG_SPI1_USER_IRQ is not set
+# CONFIG_SPI2_USER_IRQ is not set
+# CONFIG_USART1_USER_IRQ is not set
+# CONFIG_USART2_USER_IRQ is not set
+# CONFIG_USART3_USER_IRQ is not set
+# CONFIG_EXTI15_10_USER_IRQ is not set
+# CONFIG_RTC_Alarm_USER_IRQ is not set
+# CONFIG_OTG_FS_WKUP_USER_IRQ is not set
+# CONFIG_TIM8_BRK_TIM12_USER_IRQ is not set
+# CONFIG_TIM8_UP_TIM13_USER_IRQ is not set
+# CONFIG_TIM8_TRG_COM_TIM14_USER_IRQ is not set
+# CONFIG_TIM8_CC_USER_IRQ is not set
+# CONFIG_DMA1_Stream7_USER_IRQ is not set
+# CONFIG_FSMC_USER_IRQ is not set
+# CONFIG_SDIO_USER_IRQ is not set
+# CONFIG_TIM5_USER_IRQ is not set
+# CONFIG_SPI3_USER_IRQ is not set
+# CONFIG_UART4_USER_IRQ is not set
+# CONFIG_UART5_USER_IRQ is not set
+# CONFIG_TIM6_DAC_USER_IRQ is not set
+# CONFIG_TIM7_USER_IRQ is not set
+# CONFIG_DMA2_Stream0_USER_IRQ is not set
+# CONFIG_DMA2_Stream1_USER_IRQ is not set
+# CONFIG_DMA2_Stream2_USER_IRQ is not set
+# CONFIG_DMA2_Stream3_USER_IRQ is not set
+# CONFIG_DMA2_Stream4_USER_IRQ is not set
+# CONFIG_ETH_USER_IRQ is not set
+# CONFIG_ETH_WKUP_USER_IRQ is not set
+# CONFIG_CAN2_TX_USER_IRQ is not set
+# CONFIG_CAN2_RX0_USER_IRQ is not set
+# CONFIG_CAN2_RX1_USER_IRQ is not set
+# CONFIG_CAN2_SCE_USER_IRQ is not set
+# CONFIG_OTG_FS_USER_IRQ is not set
+# CONFIG_DMA2_Stream5_USER_IRQ is not set
+# CONFIG_DMA2_Stream6_USER_IRQ is not set
+# CONFIG_DMA2_Stream7_USER_IRQ is not set
+# CONFIG_USART6_USER_IRQ is not set
+# CONFIG_I2C3_EV_USER_IRQ is not set
+# CONFIG_I2C3_ER_USER_IRQ is not set
+# CONFIG_OTG_HS_EP1_OUT_USER_IRQ is not set
+# CONFIG_OTG_HS_EP1_IN_USER_IRQ is not set
+# CONFIG_OTG_HS_WKUP_USER_IRQ is not set
+# CONFIG_OTG_HS_USER_IRQ is not set
+# CONFIG_DCMI_USER_IRQ is not set
+# CONFIG_CRYP_USER_IRQ is not set
+# CONFIG_HASH_RNG_USER_IRQ is not set
+# CONFIG_FPU_USER_IRQ is not set