Yes, when I set a breakpoint in the ISR pxHigherPriorityTaskWoken is set to true after vTaskNotiryGiveFromISR() returns.