The F28x is different from all of our other cores in that the stack grows from low addresses to high addresses. My question/issue is how to determine the end (highest address) of a task stack? I envisioned that I could so something like set a watchpoint at "TSK0$stack+TSK0$stacksize". The big problem is that we don't define anything equivalent to TSK0$stacksize!
Is there any other solution you can think of? If not, can you please file an enhancement request?