are you going to support S32K144 in Zephyr RTOS? Since NXP is also project member ...
There are already some Kinetis devices supported, so may be adding S32K shouldn't be so hard.
I have received information that we are considering porting Zephyr to S32K, but don't have any concrete plans yet. Do you have any specific requirements?