I went through release notes and it looks like that also:
S32K118 MINI-MODULE S32K14XCVD-Q064
S32K118 DEVICE 64LQFP PS32K118LAMLH 0N97V
is supported by AUTOSAR 4.2 sMCAL RTM 1.0.1 release.
Actually there are no more details about OS - there is only note that:
It also includes an example of integration of the sMCAL drivers
with the NXP AUTOSAR OS/S32K v4.0.93 BETA v0.9.0 (the OS installer comes as a
different NXP software package).
Anyway - I'm not much familiar with autosar, you know, this community space is for S32 Design Studio support.