f9 kernel .config

.config

#
# Automatically generated make config: don't edit
# F9 Microkernel Configurations
#

#
# Platform
#
# CONFIG_BOARD_STM32F4DISCOVERY is not set
CONFIG_BOARD_STM32F429DISCOVERY=y
# CONFIG_BOARD_STM32P103 is not set
# CONFIG_BITMAP_BITBAND is not set
# CONFIG_FPU is not set
# CONFIG_STDIO_NODEV is not set
CONFIG_STDIO_USE_DBGPORT=y
# CONFIG_DBGPORT_USE_USART1 is not set
CONFIG_DBGPORT_USE_USART2=y
# CONFIG_DBGPORT_USE_USART4 is not set
# 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

#
# User Interrupt Config
#

#
# Limitations
#
CONFIG_MAX_THREADS=32
CONFIG_MAX_KT_EVENTS=64
CONFIG_MAX_ASYNC_EVENTS=32
CONFIG_MAX_ADRESS_SPACES=16
CONFIG_MAX_FPAGES=256

#
# Kernel Timer
#
CONFIG_KTIMER_TICKLESS=y
# CONFIG_KTIMER_TICKLESS_VERIFY is not set
CONFIG_KTIMER_TICKLESS_COMPENSATION=0
CONFIG_KTIMER_TICKLESS_INT_COMPENSATION=0
CONFIG_KTIMER_HEARTBEAT=65536
CONFIG_KTIMER_MINTICKS=128

#
# Flexible page tweaks
#
CONFIG_LARGEST_FPAGE_SHIFT=16
CONFIG_SMALLEST_FPAGE_SHIFT=8

#
# Thread tweaks
#
CONFIG_INTR_THREAD_MAX=256

#
# KIP tweaks
#
CONFIG_KIP_EXTRA_SIZE=128

#
# Kernel hacking
#
CONFIG_DEBUG=y
CONFIG_DEBUG_DEV_UART=y
CONFIG_KDB=y
CONFIG_KPROBES=y
CONFIG_SYMMAP=y
CONFIG_PANIC_DUMP_STACK=y
# CONFIG_LOADER is not set

#
# Test Case
#