I have a teensy 4.1, and I am trying to install NUTTX the Real Time Operating System ( RTOS ). Teensy is a supported platform. I am trying install nuttx compiled from source, and upload it using the teensy loader program. my current issue is that the hex file is too large. the file size is 229Kb, which shouldn't be an issue where the flash size for a teensy 4.1 is 8MB.
any tips or recommendations to install nuttx on a teensy 4.1 would be greatly appreciated.