@rahix : I'm late to the party... I had a look around independently from this issue a few days ago. I also saw stack overflow protection of FreeRTOS itself at it's... a little wonky tbh. I've also had a look at coretx-m4 spec and it does offer memory protection for regions with a size down to 32bytes. I've been wondering if we could, for tasks that are that are extra protection-worthy, like the dispatcher for example, use static memory for the stack and heap and protected hazard regions before and after the stack so we'd be able to catch stack overflows via hard-faults.