diff options
| author | Gregory Nutt <gnutt@nuttx.org> | 2015-01-14 09:54:51 -0600 |
|---|---|---|
| committer | Gregory Nutt <gnutt@nuttx.org> | 2015-01-14 09:54:51 -0600 |
| commit | 57a57ef6265db8f8a7ba5ec42395e10b9d0eaab8 (patch) | |
| tree | c2d23bb3947e94561d8676b33fe49af484870458 /nuttx/configs/Kconfig | |
| parent | a95a0244293d6cfe7d2d4b6e550ee0ec825961cd (diff) | |
| download | nuttx-57a57ef6265db8f8a7ba5ec42395e10b9d0eaab8.tar.gz nuttx-57a57ef6265db8f8a7ba5ec42395e10b9d0eaab8.tar.bz2 nuttx-57a57ef6265db8f8a7ba5ec42395e10b9d0eaab8.zip | |
Remove the px4-v2_upstream configuration. Moved to misc/Obsoleted/configs.
This is not the official configuration for the PX4 board and has led to confusion by NuttX users. The board configuration also requires some ongoing maintenance and customization to support ongoing PX4 testing and evaluation. It is best retained the PX4 repositories where it can be properly maintained and not in the upstream NuttX repository.
Diffstat (limited to 'nuttx/configs/Kconfig')
| -rw-r--r-- | nuttx/configs/Kconfig | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/nuttx/configs/Kconfig b/nuttx/configs/Kconfig index 33ad22ba8..de745686d 100644 --- a/nuttx/configs/Kconfig +++ b/nuttx/configs/Kconfig @@ -559,16 +559,6 @@ config ARCH_BOARD_PIRELLI_DPL10 This directory contains the board support for Pirelli dpl10 phones. The additions were made by Craig Comstock (with help form Alan Carvalho de Assis). -config ARCH_BOARD_PX4FMU_V2 - bool "PX4FMU v2" - depends on ARCH_CHIP_STM32F427V - ---help--- - This is a minimal configuration that supports low-level test of the - PX4FMU v2 in the NuttX source tree. If you are using PX4, you - probably don't want this configuration. You probably want the - latest supported configuration available from the PX4 GIT - repositories. - config ARCH_BOARD_NUCLEO_F401RE bool "STM32F401 Nucleo F401RE" depends on ARCH_CHIP_STM32F401RE @@ -1095,7 +1085,6 @@ config ARCH_BOARD default "pic32-starterkit" if ARCH_BOARD_PIC32_STARTERKIT default "pic32mx7mmb" if ARCH_BOARD_PIC32MX7MMB default "pirelli_dpl10" if ARCH_BOARD_PIRELLI_DPL10 - default "px4fmu-v2_upstream" if ARCH_BOARD_PX4FMU_V2 default "nucleo-f4x1re" if ARCH_BOARD_NUCLEO_F401RE || ARCH_BOARD_NUCLEO_F411RE default "qemu-i486" if ARCH_BOARD_QEMU_I486 default "rgmp" if ARCH_BOARD_RGMP @@ -1359,9 +1348,6 @@ endif if ARCH_BOARD_NUCLEO_F401RE || ARCH_BOARD_NUCLEO_F411RE source "configs/nucleo-f4x1re/Kconfig" endif -if ARCH_BOARD_PX4FMU_V2 -source "configs/px4fmu-v2_upstream/Kconfig" -endif if ARCH_BOARD_QEMU_I486 source "configs/qemu-i486/Kconfig" endif |