Support for Texas Instruments CC Debugger in Linux