diff options
| author | Gregory Nutt <gnutt@nuttx.org> | 2015-02-21 18:41:17 -0600 |
|---|---|---|
| committer | Gregory Nutt <gnutt@nuttx.org> | 2015-02-21 18:41:17 -0600 |
| commit | f04539dec304c6670735130a1cfa4978e3474c99 (patch) | |
| tree | b141f243eda8601a68a28408def536a6c43bebc3 /nuttx/configs/Kconfig | |
| parent | 5c1d7cc02ae21fbd553957cc1dd96c99fc4bd7f4 (diff) | |
| download | nuttx-f04539dec304c6670735130a1cfa4978e3474c99.tar.gz nuttx-f04539dec304c6670735130a1cfa4978e3474c99.tar.bz2 nuttx-f04539dec304c6670735130a1cfa4978e3474c99.zip | |
Rename pic32-starterkit to pic32mx-starterkit to make room in the namespace for the pic32mz-starterkit
Diffstat (limited to 'nuttx/configs/Kconfig')
| -rw-r--r-- | nuttx/configs/Kconfig | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/nuttx/configs/Kconfig b/nuttx/configs/Kconfig index 29c62bc3b..fa45a76ce 100644 --- a/nuttx/configs/Kconfig +++ b/nuttx/configs/Kconfig @@ -552,7 +552,7 @@ config ARCH_BOARD_PCDUINO_A10 the differences are cosmetic. This port was developed on the v1 board, but the others may be compatible. -config ARCH_BOARD_PIC32_STARTERKIT +config ARCH_BOARD_PIC32MX_STARTERKIT bool "Microchip PIC32 Ethernet Starter Kit (DM320004)" depends on ARCH_CHIP_PIC32MX795F512L select ARCH_HAVE_LEDS @@ -1109,7 +1109,7 @@ config ARCH_BOARD default "p112" if ARCH_BOARD_P112 default "pcblogic-pic32mx" if ARCH_BOARD_PCBLOGICPIC32MX default "pcduino-a10" if ARCH_BOARD_PCDUINO_A10 - default "pic32-starterkit" if ARCH_BOARD_PIC32_STARTERKIT + default "pic32mx-starterkit" if ARCH_BOARD_PIC32MX_STARTERKIT default "pic32mx7mmb" if ARCH_BOARD_PIC32MX7MMB default "pirelli_dpl10" if ARCH_BOARD_PIRELLI_DPL10 default "nucleo-f4x1re" if ARCH_BOARD_NUCLEO_F401RE || ARCH_BOARD_NUCLEO_F411RE @@ -1373,8 +1373,8 @@ endif if ARCH_BOARD_PCDUINO_A10 source "configs/pcduino-a10/Kconfig" endif -if ARCH_BOARD_PIC32_STARTERKIT -source "configs/pic32-starterkit/Kconfig" +if ARCH_BOARD_PIC32MX_STARTERKIT +source "configs/pic32mx-starterkit/Kconfig" endif if ARCH_BOARD_PIC32MX7MMB source "configs/pic32mx7mmb/Kconfig" |