The S32K144-Q100 is a development board that is part of the NXP S32K1 Family of 32-bit microcontrollers (MCUs). It comes with RTD (Real-Time Drivers) support which consists of a set of bare-metal drivers for the peripherals. To use this board with RTD you must install S32 Design Studio. This tool comes with an Eclipse based IDE and a configuration tool for the drivers.