Hello @cjjohnson ,
Unfortunately, from the Simulink environment, you can only download the code either via USB and OpenSDA. So for now, you have to manually download the generated elf using the S32DS for ARM.
To do that, please install the S32DS for ARM alongside with the S32SDK for S32K1xx. You don't have to import the whole generated code in the S32DS. You can follow these steps:
1. Open S32DS for ARM
2. File -> New -> S32DS project from example. Choose hello_world_s32k144

3. once the project has been imported, go to flash button, Browse for the generated .elf, check Disable autobuild

4. Go to the next tab, Debugger, make sure you have a JTAG probe connected to the S32K and detected( I am using the OpenSDA).
5. Press the Flash button, and now the code should run on the S32K.
Hope this helps,
Marius