Interrupt stack

I am looking for help with setting up FreeRTOS to create a dedicated interrupt stack. When I set configISR_STACK_SIZE to a very small value (10) the application still runs, so I conclude that a dedicated interrupt stack is not being used in my application.

Interrupt stack

I am running on PIC32.

Interrupt stack

The PIC32 port already implements a dedicated interrupt stack. Regards.