ACADOS on 32-bit AURIX™ Microcontroller based on TriCore

Hi,

I think this microcontroller is a true 32-Bit architecture.
There are known issues of acados with these architectures, see e.g.

Best,
Jonathan