Couldn't run the scheduler after handling timer 5 Interrupt

Partners & Sponsors ST
, ,
16

How come configASSERT() didn’t catch these problems right at the beginning?