0e6ede8929
This commit renames the Kconfig `FLOAT` symbol to `FPU`, since this symbol only indicates that the hardware Floating Point Unit (FPU) is used and does not imply and/or indicate the general availability of toolchain-level floating point support (i.e. this symbol is not selected when building for an FPU-less platform that supports floating point operations through the toolchain-provided software floating point library). Moreover, given that the symbol that indicates the availability of FPU is named `CPU_HAS_FPU`, it only makes sense to use "FPU" in the name of the symbol that enables the FPU. Signed-off-by: Stephanos Ioannidis <root@stephanos.io>
35 lines
532 B
Plaintext
35 lines
532 B
Plaintext
# 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_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
|