I've see the rtx_config.c file for STR711 processors in the Keil directories, but nothing for STR75x series processors. We've chosen an STR755, but are now worried that we can't use Keil's RTOS. Anybody have an answer? Thanks!