Hi @PMunch ,
Please take easy, in fact, it is not difficult to make it works with the binary.
Just the RT chip is not like the normal MCU, it needs the bin file have the FCB, IVT, BD, app code.
Now, you want to use ARM GCC toolchain, right? Any other IDE want to use or not?
I mean, mcuxpresso IDE, IAR or the keil, that the SDK all include the file.
If you need the ARM GCC method, I will also tell you step by step to generate the bin file.
About the download, I highly recommend you use the MCUbootutility or the SPT, I prefer to use the MCUbootutility tool, very easy to use. Just need the board enter the serial download mode.
And this tool can help you add the bd file, elftosb, blhost itself, you don't need to input the command, you just can see the log is OK.
Best Regards,
Kerry