Has anyone configured RTX under MDK for an NXP LPC3131 (using the Embedded Artists dev. board)? I saw Jeanne-Pierre's post from last year and the recommendation to use the Phytec lpc3180 blinky_rtx example as a starting point and wondered if anyone else had gotten this going yet on the lpc3131 (orlpc3130)?
Thanks
Richard Irving