I'm involved in a project where we use Keil uVision and the RTX kernel and am now searching for the source code for RTX in order to verify some parts of the kernel. According to your product page (http://www.keil.com/rl-arm/rtx_benefits.asp) it should be included in our MDK-ARM distribution but I can't find it. Where should I look?
Thanks, // Måns