Hello, Contrary to what is stated in the documentation, MDK 3.40's RTX_Config.c does not include support for the RT agent (as far as I could tell). This is quite annoying, I must say. I have inspected different platforms and I am still not a 100% sure what I need to merge/prepare for an LPC2478. Can somebody offer some help?
RT Agent is supported in MDK 3.40. The relevant RTX_Config.c files ported to different devices are located in RT Agent folder.
For LPC23xx/24xx check out folder RT Agent\Keil\MCB2300\RTX_Blinky\RTX_Config.c.