s32k3k42如何修改make文件以生成.hex？

我正在研究 s32k3k42 驱动程序模块配置，在那个 RTD 包中有 EB tresos 示例文件夹，如果我采用任何示例项目，我只能生成项目的 .elf 文件。
调试文件夹中的当前 run.cmm 和 device.cmm 文件仅支持生成 .elf
因此，我需要相应的 run.cmm 或 device.cmm 文件脚本来支持生成和加载 .hex 文件
而且我还需要知道如何修改 make 文件以生成 .hex