I am following this article HOWTO: Create a Blinking LED example project using... - NXP Community to start a project using SDKs RTMs RTDs.
I followed the initial installation steps outlined in installation guide found on the same software download page as the S32DS installer and SW32K1_S32DS_3.5.4_D2307. I pointed the extensions updates page to the zip file for SW32K1_S32DS_3.5.4_D2307 and the zip file for SW32K1_S32M24x_RTD_4.4_R21-11_2.0.0_D2308_DS_Updatesite. The S32SDK_S32K1xx_RTM_4.0.2 is installed in the same top level NXP folder as the IDE.
When I follow the instructions to create a Blinky light with the AUTOSAR drivers, I get the following error after turning off the Pins too as instructed in the HOW TO page.

I am unable to complete the HOW TO document as the project will not build and would like to know which step I have missed or what I haven't installed.