diff options
| author | Gregory Nutt <gnutt@nuttx.org> | 2013-05-05 09:10:47 -0600 |
|---|---|---|
| committer | Gregory Nutt <gnutt@nuttx.org> | 2013-05-05 09:10:47 -0600 |
| commit | 460e68e984bb7f0f14e5e750fdb6d112da862a5a (patch) | |
| tree | 07aabc8bbfbe0acadba90373c8ec7e2507c8f689 /nuttx/configs/Kconfig | |
| parent | 1b7d3b3dbcff1355cd127808828d18a6a96c77c1 (diff) | |
| download | px4-nuttx-460e68e984bb7f0f14e5e750fdb6d112da862a5a.tar.gz px4-nuttx-460e68e984bb7f0f14e5e750fdb6d112da862a5a.tar.bz2 px4-nuttx-460e68e984bb7f0f14e5e750fdb6d112da862a5a.zip | |
Make Pirelli-DLP10 a true board configuration; Calypso no compiles without errors
Diffstat (limited to 'nuttx/configs/Kconfig')
| -rw-r--r-- | nuttx/configs/Kconfig | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/nuttx/configs/Kconfig b/nuttx/configs/Kconfig index 0fb6705b4..ba22eea66 100644 --- a/nuttx/configs/Kconfig +++ b/nuttx/configs/Kconfig @@ -429,6 +429,13 @@ config ARCH_BOARD_PIC32_PIC32MX7MMB This is the port NuttX to the Mikroelektronika PIC32MX7 Multimedia Board (MMB). See http://www.mikroe.com/ for further information. +config ARCH_BOARD_PIRELLI_DPL10 + bool "Pirelli DPL10 phone" + depends on ARCH_CHIP_CALYPSO + ---help--- + 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_PJRC_87C52 bool "PJRC 87C52 development system" depends on ARCH_CHIP_8052 @@ -742,6 +749,7 @@ config ARCH_BOARD default "pcblogic-pic32mx" if ARCH_BOARD_PCBLOGICPIC32MX default "pic32-starterkit" if ARCH_BOARD_PIC32_STARTERKIT default "pic32mx7mmb" if ARCH_BOARD_PIC32_PIC32MX7MMB + default "pirelli_dpl10" if ARCH_BOARD_PIRELLI_DPL10 default "pjrc-8051" if ARCH_BOARD_PJRC_87C52 default "qemu-i486" if ARCH_BOARD_QEMU_I486 default "rgmp" if ARCH_BOARD_RGMP @@ -949,6 +957,9 @@ endif if ARCH_BOARD_PIC32_PIC32MX7MMB source "configs/pic32mx7mmb/Kconfig" endif +if ARCH_BOARD_PIRELLI_DPL10 +source "configs/pirelli_dpl10/Kconfig" +endif if ARCH_BOARD_PJRC_87C52 source "configs/pjrc-8051/Kconfig" endif |