diff options
| author | Gregory Nutt <gnutt@nuttx.org> | 2013-05-04 17:57:02 -0600 |
|---|---|---|
| committer | Gregory Nutt <gnutt@nuttx.org> | 2013-05-04 17:57:02 -0600 |
| commit | 1b7d3b3dbcff1355cd127808828d18a6a96c77c1 (patch) | |
| tree | b3eb52545e14da0b09f966ed8340245a46023b9f /nuttx/configs/Kconfig | |
| parent | 5698f33f29a869fd2ca9949c846575362f539608 (diff) | |
| download | px4-nuttx-1b7d3b3dbcff1355cd127808828d18a6a96c77c1.tar.gz px4-nuttx-1b7d3b3dbcff1355cd127808828d18a6a96c77c1.tar.bz2 px4-nuttx-1b7d3b3dbcff1355cd127808828d18a6a96c77c1.zip | |
Add configuration for the Pirelli DP10 phone
Diffstat (limited to 'nuttx/configs/Kconfig')
| -rw-r--r-- | nuttx/configs/Kconfig | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/nuttx/configs/Kconfig b/nuttx/configs/Kconfig index e84749a01..0fb6705b4 100644 --- a/nuttx/configs/Kconfig +++ b/nuttx/configs/Kconfig @@ -904,6 +904,9 @@ endif if ARCH_BOARD_MICROPENDOUS3 source "configs/micropendous3/Kconfig" endif +if ARCH_BOARD_MIKROE_STM32F4 +source "configs/mikroe-stm32f4/Kconfig" +endif if ARCH_BOARD_MIRTOO source "configs/mirtoo/Kconfig" endif @@ -979,9 +982,6 @@ endif if ARCH_BOARD_STM32F4_DISCOVERY source "configs/stm32f4discovery/Kconfig" endif -if ARCH_BOARD_MIKROE_STM32F4 -source "configs/mikroe-stm32f4/Kconfig" -endif if ARCH_BOARD_SUREPIC32MX source "configs/sure-pic32mx/Kconfig" endif |