I am using NuttX-v10.0.1.
This is fixed in 625eef20f00fbe9bdb4995ad9dfb24b71227e954, which came at a
later time.
Hmm.. I guess I still don't understand the failure. That change was:
#ifdef CONFIG_STACK_COLORATION
- if (tcb->pid != 0)
- {
- memset(tcb->stack_alloc_ptr, 0xaa, stack_size);
- }
+ memset(tcb->stack_alloc_ptr, 0xaa, stack_size);
#endif
pid == 0 is the startup, IDLE thread. That is not the thread that you
are creating. So there is more involved.
I just tried master, which brought the expected results.
Well that is really all that is important,