S32 Design Studio with S32K144EVB-Q100X, is missing includes like Cpu.h, clockMan1.h, pin_mux.h, which are obviously needed for the board. I am running it in Linux. With find, I don't see those files anywhere in my workspace nor in my installation directory. I am working with the blinking LED example, trying to get that to build.
What am I missing and how do I install it?