diff options
| author | Gregory Nutt <gnutt@nuttx.org> | 2014-09-01 13:21:15 -0600 |
|---|---|---|
| committer | Gregory Nutt <gnutt@nuttx.org> | 2014-09-01 13:21:15 -0600 |
| commit | 7bfdcaa22bd60cd34f11b0592c53fc5da1a37617 (patch) | |
| tree | 77b4f3886eb3f4049545827c2008d161c318a9fa /nuttx/configs/cc3200-launchpad | |
| parent | 9ee5cfaffa313949563fb37f7cd39a2b7620a4dd (diff) | |
| download | nuttx-7bfdcaa22bd60cd34f11b0592c53fc5da1a37617.tar.gz nuttx-7bfdcaa22bd60cd34f11b0592c53fc5da1a37617.tar.bz2 nuttx-7bfdcaa22bd60cd34f11b0592c53fc5da1a37617.zip | |
Remove final traces of the 8015 from the NuttX source tree
Diffstat (limited to 'nuttx/configs/cc3200-launchpad')
| -rw-r--r-- | nuttx/configs/cc3200-launchpad/nsh/defconfig | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/nuttx/configs/cc3200-launchpad/nsh/defconfig b/nuttx/configs/cc3200-launchpad/nsh/defconfig index d136ee73e..0556873e8 100644 --- a/nuttx/configs/cc3200-launchpad/nsh/defconfig +++ b/nuttx/configs/cc3200-launchpad/nsh/defconfig @@ -56,7 +56,6 @@ CONFIG_DEBUG_FULLOPT=y # # System Type # -# CONFIG_ARCH_8051 is not set CONFIG_ARCH_ARM=y # CONFIG_ARCH_AVR is not set # CONFIG_ARCH_HC is not set @@ -165,7 +164,6 @@ CONFIG_TIVA_DISABLE_GPIOJ_IRQS=y CONFIG_ARCH_HAVE_IRQPRIO=y # CONFIG_ARCH_L2CACHE is not set # CONFIG_ARCH_HAVE_COHERENT_DCACHE is not set -# CONFIG_CUSTOM_STACK is not set # CONFIG_ARCH_HAVE_ADDRENV is not set # CONFIG_ARCH_NEED_ADDRENV_MAPPING is not set CONFIG_ARCH_HAVE_VFORK=y |