We are checking this out. There is not much information published yet on how to add new CPUs like the Aurix but it seems that they will issue something soon so we will take another look.
There is already debugging possible using the included PLS UDE but this is best used with the Eclipse IDE rather than the Arduino one. For users who need a more powerful IDE then the Eclipse one already supplied with the ShieldBuddy TC275 and TC375 is probably better than the Arduino IDE2.0. It has all the usual Eclipse features plus an integrated debugger which makes use of the built-in debug functions of the Aurix, which are far better than anything found on an AVR! The Arduino language/libraries are present so existing sketches can be compiled and debugged.