I'm having trouble setting up a project for the S32K144_64. I've read the S32 SDK 0.8.1 EAR Release Notes and it states that the S32K144_64 rev1 is supported. I've followed section 2.1 "Creating and building S32DS project" in S32 SDK Quick Start Guide. That automatically generates a project for the S32K144_100 rev1. I proceed to Processors under the Components Window. The only CPU type selection in the Component Inspector is the S32K144_100. Where is the S32K144_64 selection?
I do not have my board yet but I believe the SDK will work but the pin numbers will be incorrect. It looks like I need to use the Pin Name field. I would like to confirm that this is the case for now. I understand that it is an early access release.