| # 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_SYS_POWER_MANAGEMENT=n |
| |
| # Interrupts |
| CONFIG_DYNAMIC_INTERRUPTS=n |
| CONFIG_IRQ_OFFLOAD=n |
| |
| # Memory protection |
| CONFIG_MEMORY_PROTECTION=n |
| CONFIG_THREAD_STACK_INFO=n |
| CONFIG_THREAD_CUSTOM_DATA=n |
| CONFIG_FLOAT=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 |