I am using the Keil MCBSTM32 devel board and running RTX Kernel. I need to debug a USB driver crash issue and would like to use the Real Time Agent to do so. I am suspecting that maybe it is not supported yet as I do not see any config for it in the RTX_Config.c file although the user doc says there should be. Am I missing something? How do I get RTA running on this board - anybody else tried this?