FreeRTOS - Task Notifications
Identify the error in this ISR-to-task notification code snippet:
void ISR_Handler() {
vTaskNotifyGive(taskHandle);
}
void TaskFunction(void *pvParameters) {
ulTaskNotifyTake(pdTRUE, portMAX_DELAY);
printf("Notified\n");
}