/* Set the MCU into Thread-Mode and load the initial task from the stack and run it.  */
void NORETURN __enter_thread_mode(void)
/* Set the MCU into Thread-Mode and load the initial task from the stack and run it.  */
void NORETURN __enter_thread_mode(void)
{
    enableIRQ();
    __context_restore();
    asm volatile("ret");
    UNREACHABLE();
}