1# Drivers and peripherals 2CONFIG_I2C=n 3CONFIG_WATCHDOG=n 4CONFIG_GPIO=n 5CONFIG_PINCTRL=n 6CONFIG_SPI=n 7CONFIG_SERIAL=n 8CONFIG_FLASH=n 9 10# Power management 11CONFIG_PM=n 12 13# Interrupts 14CONFIG_DYNAMIC_INTERRUPTS=n 15CONFIG_IRQ_OFFLOAD=n 16 17# Memory protection 18CONFIG_THREAD_STACK_INFO=n 19CONFIG_THREAD_CUSTOM_DATA=n 20CONFIG_FPU=n 21 22# Boot 23CONFIG_BOOT_BANNER=n 24CONFIG_BOOT_DELAY=0 25 26# Console 27CONFIG_CONSOLE=n 28CONFIG_UART_CONSOLE=n 29CONFIG_STDOUT_CONSOLE=n 30CONFIG_PRINTK=n 31CONFIG_EARLY_CONSOLE=n 32 33# Build 34CONFIG_SIZE_OPTIMIZATIONS=y 35
