From fa792836020228889bdd57d72705ee023ed9a151 Mon Sep 17 00:00:00 2001 From: David Sidrane Date: Wed, 23 Oct 2019 10:03:52 -0700 Subject: [PATCH] px4/fmu-v4: update nuttx config --- boards/px4/fmu-v4/nuttx-config/Kconfig | 23 +++++++++++++++++++ .../px4/fmu-v4/nuttx-config/drivers/Kconfig | 1 + boards/px4/fmu-v4/nuttx-config/nsh/defconfig | 3 +++ 3 files changed, 27 insertions(+) create mode 100644 boards/px4/fmu-v4/nuttx-config/Kconfig create mode 100644 boards/px4/fmu-v4/nuttx-config/drivers/Kconfig diff --git a/boards/px4/fmu-v4/nuttx-config/Kconfig b/boards/px4/fmu-v4/nuttx-config/Kconfig new file mode 100644 index 0000000000..6ad90c4884 --- /dev/null +++ b/boards/px4/fmu-v4/nuttx-config/Kconfig @@ -0,0 +1,23 @@ +# +# For a description of the syntax of this configuration file, +# see misc/tools/kconfig-language.txt. +# +config BOARD_HAS_PROBES + bool "Board provides GPIO or other Hardware for signaling to timing analyze." + default y + ---help--- + This board provides GPIO FMU-CH1-6 to provide timing signals from selected drivers. + +config BOARD_USE_PROBES + bool "Enable the use the board provided FMU-CH1-6 as PROBE_1-6" + default n + depends on BOARD_HAS_PROBES + + ---help--- + Select to use GPIO FMU-CH1-6 to provide timing signals from selected drivers. + +# Hack to ensure ARCH_MATH_H is kept +config BOARD_HAVE_MATH_H + bool "Provide ARCH math.h (selects ARCH_HAVE_MATH_H)" + default y + select ARCH_HAVE_MATH_H diff --git a/boards/px4/fmu-v4/nuttx-config/drivers/Kconfig b/boards/px4/fmu-v4/nuttx-config/drivers/Kconfig new file mode 100644 index 0000000000..8b13789179 --- /dev/null +++ b/boards/px4/fmu-v4/nuttx-config/drivers/Kconfig @@ -0,0 +1 @@ + diff --git a/boards/px4/fmu-v4/nuttx-config/nsh/defconfig b/boards/px4/fmu-v4/nuttx-config/nsh/defconfig index 9f876c0803..9b6d26035d 100644 --- a/boards/px4/fmu-v4/nuttx-config/nsh/defconfig +++ b/boards/px4/fmu-v4/nuttx-config/nsh/defconfig @@ -23,8 +23,11 @@ # CONFIG_NSH_DISABLE_TIME is not set # CONFIG_STM32_CCMEXCLUDE is not set CONFIG_ARCH="arm" +CONFIG_ARCH_BOARD_CUSTOM=y CONFIG_ARCH_BOARD_CUSTOM_DIR="../nuttx-config" +CONFIG_ARCH_BOARD_CUSTOM_DIR_RELPATH=y CONFIG_ARCH_BOARD_CUSTOM_NAME="px4" +CONFIG_ARCH_CHIP="stm32" CONFIG_ARCH_CHIP_STM32=y CONFIG_ARCH_CHIP_STM32F427V=y CONFIG_ARCH_INTERRUPTSTACK=512