The S32K144EVB-Q100 Evaluation board is signed as 'obsolete' (end of life product) on Mouser and Distrelec site. Some info about this board future availablity ?
This is probably S32K144EVB-Q100X (0N47T maskset) but Mouser doesn't specify this.
You can get S32K144EVB-Q100 (0N57U maskset) from NXP product page.
S32K144 Evaluation Board|NXP
Retrieving data ...