nuttx hex слишком большой

У меня есть teensy 4.1, и я пытаюсь установить NUTTX операционную систему реального времени ( RTOS ). Teensy-это поддерживаемая платформа. Я пытаюсь установить nuttx, скомпилированный из исходного кода, и загрузить его с помощью программы teensy loader. моя текущая проблема заключается в том, что шестнадцатеричный файл слишком велик. размер файла составляет 229 Кб, что не должно быть проблемой, когда размер флэш-памяти для teensy 4.1 составляет 8 МБ.

Я следовал шагам на этих сайтах: это тот , где Nuttx установлен на teensy 3, и документация для nuttx на их веб-сайте

любые советы или рекомендации по установке nuttx на teensy 4.1 будут очень признательны.