Trying out AZURE RTOS ThreadX on a NUCLEO-H723-Board: Waking up a thread from an ISR - View it on GitHub