Hello,
I assume you refer to the av_bios_sdk we use? Well, it is from TI, the release notes say this:
Applies to Product Release: 00.07.00.00
Publication Date: Sept 13, 2012
I'm new to CCS so I'm not sure if I understood your question correctly, so I attached two screen shots about the Compilers we have and OS Support Drivers.