px4-firmware/nuttx/configs/Kconfig

#
# For a description of the syntax of this configuration file,
# see misc/tools/kconfig-language.txt.
#

choice
	prompt "Select target board"
	default ARCH_BOARD_CUSTOM
	---help---
		Select the board hosting the architure.  You must first select the
		exact MCU part number, then the boards supporting that part will
		be available for selection.  Use ARCH_BOARD_CUSTOM to create a new
		board configuration.

config ARCH_BOARD_PX4FMU
	bool "PX4FMU board"
	depends on ARCH_CHIP_STM32F405RG
	---help---
		PX4 system Flight Management Unit

config ARCH_BOARD_PX4IO
	bool "PX4IO board"
	depends on ARCH_CHIP_STM32F100C8
	---help---
		PX4 system I/O expansion board

endchoice

config ARCH_BOARD
	string
	default "px4fmu"             if ARCH_BOARD_PX4FMU
	default "px4io"              if ARCH_BOARD_PX4IO
	default ""                   if ARCH_BOARD_CUSTOM

if ARCH_BOARD_PX4FMU
source "configs/px4fmu/Kconfig"
endif
if ARCH_BOARD_PX4IO
source "configs/px4io/Kconfig"
endif