How do I make use of watchdog timer properly in my RTOS? - EdgeBench