The code is below. In the debugger its apparent that xdc_target__isaCompatible_28 is undefined and I see no docs that give guidance on defining this and where? I would think stack checking for HWI during dev would be important enough to mention somewhere (-: ??
Hwi_stack.c
Void ti_sysbios_hal_Hwi_checkStack()
{
#ifdef xdc_target__isaCompatible_28
volatile UInt one = 1;
UInt16 *stackTop;
stackTop = (UInt16 *)(STACK_BASE) + (SizeT)(&_STACK_SIZE);
/*
* SDOCM00084944
* extraordinary effort to coerce compiler into NOT
* performing the subtraction of 1 at compile time
*/
stackTop -= one;
if (*stackTop != (UInt16)0xbebe) {
#else
UInt8 *stackTop;
stackTop = (UInt8 *)STACK_BASE;
if (*stackTop != (UInt8)0xbe) {
#endif
Error_raise(NULL, Hwi_E_stackOverflow, 0, 0);
}