Ich hab jetzt eine Antwort erhalten von ADESCOM:

** Linux for TriCore Developer Set. We offer it with a maintenance subscription for 3,000 EUR.
** Linux Starter Kits are available for 700 EUR
** The fee for the maintenance subscription for Java for TC1130 is available for 1,000 EUR

Das Starter-Kit ist ein Tricore Hardware Board mit dem TC1130 drauf; gibt's anscheinend nicht von Infineon direkt.