From 5148d2d94fba2257e24bd801a1cd302c865b0649 Mon Sep 17 00:00:00 2001 From: David Sidrane Date: Tue, 25 Sep 2018 08:43:56 -0700 Subject: [PATCH] px4fmu-v2 nsh: Disable ARCH_IRQPRIO & ARCH_HIPRI_INTERRUP This insures the common exception handler will not be re-entered. The handler does not support nested interrupts and the interrupt stack pointer and context will be overwritten resulting in hard to debug hardfaults. If all the priorities are equal the NVIC prevents the preemption. The startup code defaults all the priorities to the same value 128. This change safeguards in 2 ways 1) By disabling CONFIG_ ARCH_IRQPRIO: up_prioritize_irq cannot be called. This will insure that all HW interrupts are at the same priority. 2) By disabling CONFIG_ARCH_HIPRI_INTERRUP, the common exception will disable any interrupts during interrupt processing. --- platforms/nuttx/nuttx-configs/px4fmu-v2/nsh/defconfig | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/platforms/nuttx/nuttx-configs/px4fmu-v2/nsh/defconfig b/platforms/nuttx/nuttx-configs/px4fmu-v2/nsh/defconfig index 2a4f02404d..31984e9069 100644 --- a/platforms/nuttx/nuttx-configs/px4fmu-v2/nsh/defconfig +++ b/platforms/nuttx/nuttx-configs/px4fmu-v2/nsh/defconfig @@ -645,7 +645,7 @@ CONFIG_ARCH_HAVE_MPU=y CONFIG_ARCH_HAVE_RESET=y # CONFIG_ARCH_HAVE_RTC_SUBSECONDS is not set # CONFIG_ARCH_USE_MPU 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_IDLE_CUSTOM is not set @@ -666,7 +666,7 @@ CONFIG_BOARD_LOOPSPERMSEC=16717 CONFIG_ARCH_HAVE_INTERRUPTSTACK=y CONFIG_ARCH_INTERRUPTSTACK=750 CONFIG_ARCH_HAVE_HIPRI_INTERRUPT=y -CONFIG_ARCH_HIPRI_INTERRUPT=y +# CONFIG_ARCH_HIPRI_INTERRUPT is not set # # Boot options