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