By default, the Stack checking option is disabled in ThreadX. This can be enabled by defining the TX_ENABLE_STACK_CHECKING in the tx_user.h file which is present in the following path. The FX3 SDK firmware source has to be unzipped.
EDIT: After you modify the SDK source, it has to be compiled into a library. The steps to perform this are included in the attached document.
FX3FirmwareSourceUserGuide.pdf 220.5 K