| # Drivers and peripherals | |
| CONFIG_I2C=n | |
| CONFIG_WATCHDOG=n | |
| CONFIG_GPIO=n | |
| CONFIG_PINMUX=n | |
| CONFIG_SPI=n | |
| CONFIG_SERIAL=n | |
| CONFIG_FLASH=n | |
| # Power management | |
| CONFIG_PM=n | |
| # Interrupts | |
| CONFIG_DYNAMIC_INTERRUPTS=n | |
| CONFIG_IRQ_OFFLOAD=n | |
| # Memory protection | |
| CONFIG_THREAD_STACK_INFO=n | |
| CONFIG_THREAD_CUSTOM_DATA=n | |
| CONFIG_FPU=n | |
| # Boot | |
| CONFIG_BOOT_BANNER=n | |
| CONFIG_BOOT_DELAY=0 | |
| # Console | |
| CONFIG_CONSOLE=n | |
| CONFIG_UART_CONSOLE=n | |
| CONFIG_STDOUT_CONSOLE=n | |
| CONFIG_PRINTK=n | |
| CONFIG_EARLY_CONSOLE=n | |
| # Build | |
| CONFIG_SIZE_OPTIMIZATIONS=y |