I'm using S32K142 to develope, my S32DS version is "S32 Design Studio for ARM Version 2018.R1". And there is a function named ProcessorExpert, it can config settings by GUI.
In the reference manual, normal RUN mode, the core and system clock can be set to 80MHz
But in the PE, it just can be set to 48MHz. So how to use PE set system clock to 80MHz?