My firmware runs on BF548 within VDK environment... I set up NMI in in order to catch WDOG trip event in order to create "crash" dump for future post mortem analysis. I have no problems getting Trace buffer and RET(...) sysregisters. I also want to store the state of VDK threads. It seems that VDK::GetThreadStatus can not be used within ISR (and I presume within NMI) - any ideas?