Hi Dani,
I am also looking for doing the same thing , I am using TI RTOS and CC3200 as a target device, but after changing CC3200_LP.cmd, _c_int00 is not fixed its keep changing..
can you please guide me how did u do that, so that i can follow your steps.
Regards,
-Hardik