hal_nxp Support: S32K144_EVB board https://www.nxp.com/design/development-boards/automotive-development-platforms/s32k-mcu-platforms/s32k144-q100-general-purpose-evaluation-board:S32K144EVB MYS-8MMX board http://www.myirtech.com/list.asp?id=654