I'm currently starting with the S32K microcontroller.
Is there a printf() implementation/example available?
I'm using also the SDK which was delivered together
with the DS. There are two different drivers for
What is the difference between the drivers? For what
purpose they should be used?