From 2c13883e56a465fc13f79c9464a4b1a3d656cd56 Mon Sep 17 00:00:00 2001 From: David Sidrane Date: Wed, 6 Nov 2019 13:13:37 -0800 Subject: [PATCH] px4:fmu-v3 BSP Updated to NuttX 8.1+ --- boards/px4/fmu-v3/nuttx-config/Kconfig | 6 ++++++ boards/px4/fmu-v3/nuttx-config/drivers/Kconfig | 0 boards/px4/fmu-v3/nuttx-config/nsh/defconfig | 3 +++ boards/px4/fmu-v3/nuttx-config/stackcheck/defconfig | 10 ++++++++++ 4 files changed, 19 insertions(+) create mode 100644 boards/px4/fmu-v3/nuttx-config/drivers/Kconfig diff --git a/boards/px4/fmu-v3/nuttx-config/Kconfig b/boards/px4/fmu-v3/nuttx-config/Kconfig index 6ce42aecf4..9623bd9fc7 100644 --- a/boards/px4/fmu-v3/nuttx-config/Kconfig +++ b/boards/px4/fmu-v3/nuttx-config/Kconfig @@ -20,3 +20,9 @@ config BOARD_USE_PROBES Select to use GPIO FMU-CH1-6 to provide timing signals from selected drivers. endif + +# 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-v3/nuttx-config/drivers/Kconfig b/boards/px4/fmu-v3/nuttx-config/drivers/Kconfig new file mode 100644 index 0000000000..e69de29bb2 diff --git a/boards/px4/fmu-v3/nuttx-config/nsh/defconfig b/boards/px4/fmu-v3/nuttx-config/nsh/defconfig index 1403ec0b5f..515642ca7b 100644 --- a/boards/px4/fmu-v3/nuttx-config/nsh/defconfig +++ b/boards/px4/fmu-v3/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 diff --git a/boards/px4/fmu-v3/nuttx-config/stackcheck/defconfig b/boards/px4/fmu-v3/nuttx-config/stackcheck/defconfig index af8d087b80..4a566d7984 100644 --- a/boards/px4/fmu-v3/nuttx-config/stackcheck/defconfig +++ b/boards/px4/fmu-v3/nuttx-config/stackcheck/defconfig @@ -1,3 +1,10 @@ +# +# This file is autogenerated: PLEASE DO NOT EDIT IT. +# +# You can use "make menuconfig" to make any modifications to the installed .config file. +# You can then do "make savedefconfig" to generate a new defconfig file that includes your +# modifications. +# # CONFIG_DISABLE_OS_API is not set # CONFIG_DISABLE_PSEUDOFS_OPERATIONS is not set # CONFIG_MMCSD_HAVE_CARDDETECT is not set @@ -16,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