Now my board does not support GPIO ports starting with F. I see refs tothem in Kconfig.defconfig.stm32f407xx as:
endif # GPIO_STM32
So in my core407v_stm32f407_defconfig, should I leave CONFIG_GPIO_STM32undefined, or is the following acceptable also:
CONFIG_GPIO_STM32=nYou could disable unsupported ports in your boards Kconfig.defconfig file.
endif # GPIO
The correct way is to add support for SoC STM32F407XE (they have 512 kB
Flash instead of 1024) and use this in your boards _defconfig file.