I am currently working with S32K344 and I am using lauterbach to load the program. The program implements the described "Mode Transition" 45.5 from your manual, which allows you to start the core 1 with core 0. Unfortunately, it doesn't work.
Lauterbach indicates that the core 1 is in a halt state and the core 1 is in an infinite loop (without instruction in it). So the value of the set bootaddress is not observable in the running core 1.
Thanks in advance
The release notes does not list any dependencies:
Is the S32K3xx development package installed?
Do you get the same error when you install the RTD 2.0.0 or 1.0.0 version?