Hi @jcb_dississa
1. The BaseNXP headers are not generated per‑board. They are delivered with the RTD (Real‑Time Drivers) package. If you need support for a new S32K3 variant that Zephyr doesn't yet include, you can download the appropriate RTD package and extract them from the installation.
For example, the BaseNXP headers are located under:
C:\NXP\S32DS.3.6.5\S32DS\software\PlatformSDK_S32K3\RTD\BaseNXP_TS_T40D34M70I1R0\header
2. Unfortunately, there is no tool/script for creating the pinctrl.h files. You will need to do it manually or create the script yourself.
Keep in mind that Auto Zephyr has 2 versions: downstream (Flexera) and upstream (github). The downstream version has the latest version of CD4 as in Apr/23 (you can find it in Flexera, under S32K3 Reference Software).
The upstream version has been included in the Zephyr community in Sep/23 and maintained by Zephyr community since then.
Best regards,
Julián