I am using MDK5.18 to develop a RTOS V2 project and I have a few questions.
(1) Do I still need to select "RTX kernel" in "Option for target -> target -> Operating system"? My previous projects used RTX kernel and it required this option. If I don't need to select this option, will it affect the RTOS awareness in debugging?
(2) For the RTX configuration RTX_Config.h, it is quite different from RTX_Conf_CM.C configuration. My previous setting in RTX_Conf_CM.C for RTX_Timer_tick_interval is 200us. If I want to use the same setting, should I put 5000 for Kernel Tick Frequency in Hz?