Hello Gearhead,
It is not necessary to download the driver, due it is already included.
Have you tried to use the example code included in S32DS?
You can try to import this project and run it on S32K144EVB, for doing this, just try next steps:
Go to File, then New, New S32DS Project from example. Select FreeMASTER example as shown below:

Generate code then, compile and flash the MCU and run the application.
From FreeMASTER's perspective, select the project tab and then click on Options. In the new window, select the proper Port and set baud rate to 115200.

In the same window, got to MAP Files tab and load the .elf file from current project.This file is located at: <Project_location>/Debug_Flash/

After this, you can create a new scope and add any desired variable. In my case, I added the adcRawValue variable. After everything is set, just click on the STOP icon and communication with board should be set correctly.

I hope this helps, if you still have issues, just let me know it!
Regards,
Isaac