topic OS for s32k in S32K https://community.nxp.com/t5/S32K/OS-for-s32k/m-p/819854#M3099 <HTML><HEAD></HEAD><BODY><P>Hello,</P><P></P><P>Is there an open OS that is provided to be used for s32k14x?</P><P></P><P>Regards.</P></BODY></HTML> Thu, 23 Aug 2018 16:59:41 GMT emmanuelaguilas 2018-08-23T16:59:41Z OS for s32k https://community.nxp.com/t5/S32K/OS-for-s32k/m-p/819854#M3099 <HTML><HEAD></HEAD><BODY><P>Hello,</P><P></P><P>Is there an open OS that is provided to be used for s32k14x?</P><P></P><P>Regards.</P></BODY></HTML> Thu, 23 Aug 2018 16:59:41 GMT https://community.nxp.com/t5/S32K/OS-for-s32k/m-p/819854#M3099 emmanuelaguilas 2018-08-23T16:59:41Z Re: OS for s32k https://community.nxp.com/t5/S32K/OS-for-s32k/m-p/819855#M3100 <HTML><HEAD></HEAD><BODY><P>Hello,</P><P>There is FreeRTOS driver in the SDK,</P><P></P><P>Regards,</P><P>Daniel</P></BODY></HTML> Fri, 24 Aug 2018 09:02:22 GMT https://community.nxp.com/t5/S32K/OS-for-s32k/m-p/819855#M3100 danielmartynek 2018-08-24T09:02:22Z