diff options
author | Gregory Nutt <gnutt@nuttx.org> | 2014-04-16 08:29:39 -0600 |
---|---|---|
committer | Gregory Nutt <gnutt@nuttx.org> | 2014-04-16 08:29:39 -0600 |
commit | 191590e73957b470ec5323d712f4055e1e442cdb (patch) | |
tree | 42f9e92bd4f1f0a1161e653fbd173cc5a2e1d3cc /nuttx/configs/ubw32 | |
parent | 19b828c29a0ab876c85dbfed95689cba4c747bcf (diff) | |
download | px4-nuttx-191590e73957b470ec5323d712f4055e1e442cdb.tar.gz px4-nuttx-191590e73957b470ec5323d712f4055e1e442cdb.tar.bz2 px4-nuttx-191590e73957b470ec5323d712f4055e1e442cdb.zip |
Undefine IRQPRIO in all configurations it should not be set
Diffstat (limited to 'nuttx/configs/ubw32')
-rw-r--r-- | nuttx/configs/ubw32/README.txt | 4 | ||||
-rw-r--r-- | nuttx/configs/ubw32/nsh/defconfig | 2 |
2 files changed, 1 insertions, 5 deletions
diff --git a/nuttx/configs/ubw32/README.txt b/nuttx/configs/ubw32/README.txt index 5c3c076e1..e3e2a511c 100644 --- a/nuttx/configs/ubw32/README.txt +++ b/nuttx/configs/ubw32/README.txt @@ -422,10 +422,6 @@ PIC32MX Configuration Options CONFIG_RAM_START=0xa0000000 - CONFIG_ARCH_IRQPRIO - The PIC32MXx supports interrupt prioritization - - CONFIG_ARCH_IRQPRIO=y - CONFIG_ARCH_LEDS - Use LEDs to show state. Unique to boards that have LEDs diff --git a/nuttx/configs/ubw32/nsh/defconfig b/nuttx/configs/ubw32/nsh/defconfig index 9eb2e106e..1823222f4 100644 --- a/nuttx/configs/ubw32/nsh/defconfig +++ b/nuttx/configs/ubw32/nsh/defconfig @@ -259,7 +259,7 @@ CONFIG_ARCH_HAVE_IRQPRIO=y CONFIG_ARCH_HAVE_VFORK=y # CONFIG_ARCH_HAVE_MMU is not set # CONFIG_ARCH_NAND_HWECC is not set -CONFIG_ARCH_IRQPRIO=y +# CONFIG_ARCH_IRQPRIO is not set CONFIG_ARCH_STACKDUMP=y # CONFIG_ENDIAN_BIG is not set CONFIG_ARCH_HAVE_RAMFUNCS=y |