I'm going to create some project based on S32K146 and I'd like to do it using "make" tool for Linux. To do this I would need also some command line tool for flashing MCU. I've been looking for such tool but didn't succeeded until now. Is there any such tool for flashing available for download somewhere? Or maybe only the Segger JLink is the option here?