Hello,
For your information: I have found that 'rt_post_taskswitch' is not invoked every task switch when using round-robin scheduling - only if tasks physically give up their time slice (by waiting, trying to lock a mutex, etc.). I have created a test program to reproduce this problem and informed Keil support about it.
Tamir