main thread task_id is 1 when mbed is configured with #define OS_TIMERS 0

[hamslabs]

When mbed is built with #define OS_TIMERS 0, svcThreadCreate() fails (correctly) for the creation of the timer thread. This causes the main thread to have task_id 1. There are a couple of places where the task_id for the main thread is assumed to be 0x02. In particular, rt_stk_check fails since it is trying to ignore the MAGIC_WORD check on the main thread but the task_id check fails since the main thread task_id is 0x01 rather than 0x02.

[0xc0170]

Thanks for the reporting, I'll send a patch to fix this

[0xc0170]

I can't reproduce the locally this issue (using small build for gcc arm), please provide more details.

I'll try to manually disable timers and run gdb. I'll report back

[0xc0170]

I was able to reproduce it, at least to check thread id that it's 0x01 for the main thread. The patch is proposed here :#2075.
Please review