A GCC build for the Infineon TriCore (TC17xx parts) has been posted at:
formatting link
There's an installer for Windows, & source for Linux
ElectronDepot website is not affiliated with any of the manufacturers or service providers discussed here. All logos and trade names are the property of their respective owners.