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/sure-pic32mx | |
| 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/sure-pic32mx')
| -rw-r--r-- | nuttx/configs/sure-pic32mx/README.txt | 4 | ||||
| -rw-r--r-- | nuttx/configs/sure-pic32mx/nsh/defconfig | 2 | ||||
| -rw-r--r-- | nuttx/configs/sure-pic32mx/usbnsh/defconfig | 2 |
3 files changed, 2 insertions, 6 deletions
diff --git a/nuttx/configs/sure-pic32mx/README.txt b/nuttx/configs/sure-pic32mx/README.txt index 67a8554f0..89f563efd 100644 --- a/nuttx/configs/sure-pic32mx/README.txt +++ b/nuttx/configs/sure-pic32mx/README.txt @@ -488,10 +488,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/sure-pic32mx/nsh/defconfig b/nuttx/configs/sure-pic32mx/nsh/defconfig index 87bc8618d..9840060e4 100644 --- a/nuttx/configs/sure-pic32mx/nsh/defconfig +++ b/nuttx/configs/sure-pic32mx/nsh/defconfig @@ -240,7 +240,7 @@ CONFIG_PIC32MX_FMIIEN=1 # CONFIG_ARCH_NOINTC is not set CONFIG_ARCH_VECNOTIRQ=y # CONFIG_ARCH_DMA is not set -CONFIG_ARCH_IRQPRIO=y +# CONFIG_ARCH_IRQPRIO is not set # CONFIG_CUSTOM_STACK is not set # CONFIG_ADDRENV is not set CONFIG_ARCH_HAVE_VFORK=y diff --git a/nuttx/configs/sure-pic32mx/usbnsh/defconfig b/nuttx/configs/sure-pic32mx/usbnsh/defconfig index 9de067263..f13f9cbb3 100644 --- a/nuttx/configs/sure-pic32mx/usbnsh/defconfig +++ b/nuttx/configs/sure-pic32mx/usbnsh/defconfig @@ -241,7 +241,7 @@ CONFIG_PIC32MX_FMIIEN=1 # CONFIG_ARCH_NOINTC is not set CONFIG_ARCH_VECNOTIRQ=y # CONFIG_ARCH_DMA is not set -CONFIG_ARCH_IRQPRIO=y +# CONFIG_ARCH_IRQPRIO is not set # CONFIG_CUSTOM_STACK is not set # CONFIG_ADDRENV is not set CONFIG_ARCH_HAVE_VFORK=y |