I have installed the S32K1xx blockset on my machine. But when targetting the s32k144, I cannot select the 'user' linker file for use with the bootloader - only the linker file for a 148. See images below. How can this be corrected?
gmud1234_0-1661426422576.png
gmud1234_1-1661426465632.png