Excuse me:
S32K312 prints system information through the UART port. Is there a demo routine for using the Printf() function to print information?