diff options
| author | Gregory Nutt <gnutt@nuttx.org> | 2014-03-01 12:00:56 -0600 |
|---|---|---|
| committer | Gregory Nutt <gnutt@nuttx.org> | 2014-03-01 12:00:56 -0600 |
| commit | d9a83782704fb7781c378d53f71f1296bb17c77d (patch) | |
| tree | 3c94a1310d5f160d7f1d8dc5c3834d7786b3cf1a /nuttx/configs/Kconfig | |
| parent | 6e012713da02fb88bdae7745721d95d76ef7ea57 (diff) | |
| download | px4-nuttx-d9a83782704fb7781c378d53f71f1296bb17c77d.tar.gz px4-nuttx-d9a83782704fb7781c378d53f71f1296bb17c77d.tar.bz2 px4-nuttx-d9a83782704fb7781c378d53f71f1296bb17c77d.zip | |
configs/pic32mx7mmb/nsh converted to use the kconfig-frontends tools
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 94b6330f5..9fd30b761 100644 --- a/nuttx/configs/Kconfig +++ b/nuttx/configs/Kconfig @@ -482,7 +482,7 @@ config ARCH_BOARD_PIC32_STARTERKIT (DM320004) with the Multimedia Expansion Board (MEB, DM320005). See www.microchip.com for further information. -config ARCH_BOARD_PIC32_PIC32MX7MMB +config ARCH_BOARD_PIC32MX7MMB bool "Mikroelektronika PIC32MX7 MMB" depends on ARCH_CHIP_PIC32MX795F512L select ARCH_HAVE_LEDS @@ -930,7 +930,7 @@ config ARCH_BOARD default "pcblogic-pic32mx" if ARCH_BOARD_PCBLOGICPIC32MX default "pcduino-a10" if ARCH_BOARD_PCDUINO_A10 default "pic32-starterkit" if ARCH_BOARD_PIC32_STARTERKIT - default "pic32mx7mmb" if ARCH_BOARD_PIC32_PIC32MX7MMB + default "pic32mx7mmb" if ARCH_BOARD_PIC32MX7MMB default "pirelli_dpl10" if ARCH_BOARD_PIRELLI_DPL10 default "pjrc-8051" if ARCH_BOARD_PJRC_87C52 default "px4fmu-v2_upstream" if ARCH_BOARD_PX4FMU_V2 @@ -1164,7 +1164,7 @@ endif if ARCH_BOARD_PIC32_STARTERKIT source "configs/pic32-starterkit/Kconfig" endif -if ARCH_BOARD_PIC32_PIC32MX7MMB +if ARCH_BOARD_PIC32MX7MMB source "configs/pic32mx7mmb/Kconfig" endif if ARCH_BOARD_PIRELLI_DPL10 |