215822d161
Now that PINCTRL is available, don't forget to disable it in minimal configurations. Signed-off-by: Erwan Gouriou <erwan.gouriou@linaro.org>
36 lines
531 B
Plaintext
36 lines
531 B
Plaintext
# Drivers and peripherals
|
|
CONFIG_I2C=n
|
|
CONFIG_WATCHDOG=n
|
|
CONFIG_GPIO=n
|
|
CONFIG_PINMUX=n
|
|
CONFIG_PINCTRL=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
|