I am using MDK-ARM 4.60. In earlier versions I was able to use rt_post_taskswitch along with os_idle_demon as a way to monitor idle time (toggle an output, view with a scope). Now, rt_post_taskswitch is never called by RTX (no breakpoint hit). My code can call rt_post_taskswitch, but RTX does not. Maybe because RT agent has been deprecated in my release version.
Is rt_post_taskswitch still supposed to work with MDK-ARM 4.60? If so, what would prevent that from happening? If not, how else can task switches be detected?