S32K1 Microcontrollers for General-Purpose