Armadilloフォーラム

お世話になります。
現在、以下のマニュアルの§6.4に従い、OP-TEEを組み込んだブートローダのビルド及びインストールを試みております。
https://manual.atmark-techno.com/armadillo-iot-g4/armadillo-base-os-sec…

imx-optee-client、optee_example、imx-optee-testのバージョンもマニュアルに記載されているものを使用し、6.4.3.の「3. swu ファイルを作成する」の手順までたどり着いたのですが、この時点で以下のようなエラーが発生しました。

atmark@atde9:~/Develop/armadillo/op-tee$ mkswu imx-boot_update.desc -o ./update_imx-boot.swu
/usr/bin/mkswu: 5: ./imx-boot_update.desc: /home/atmark/Develop/armadillo/op-tee/imx-boot/imx-boot_armadillo_x2: Permission denied

imx-boot_armadillo_x2の権限を確認した所、実行権限が付与されていなかったため、これが原因であると推定しchmod +xにて実行権限を付与しました。
ところが、今度は以下のようにExec Format Errorが発生するようになりました。

atmark@atde9:~/Develop/armadillo/op-tee$ mkswu imx-boot_update.desc -o ./update_imx-boot.swu
/usr/bin/mkswu: 5: ./imx-boot_update.desc: /home/atmark/Develop/armadillo/op-tee/imx-boot/imx-boot_armadillo_x2: Exec format error

何度かビルドのし直しを試みたり、またクロスコンパイル用のライブラリがインストールされていることも確認したのですが、上記エラーの解決の目処が立たないため、ご助力いただけますと大変助かります。

ATDE9のバージョンはatde9-amd64-20240321であり、§6.4.2～6.4.8までの手順全てをこのATDE9上で実施しています。
（マニュアルですと6.4.2～6.4.7のプロンプトが「[ATDE ~]」ではなく「[PC ~]」となっていますが、特にこれに関して特筆はされていないのでATDEで実行しています）

また、当のimx-boot_armadillo_x2に対してfileコマンドをかけてみた結果は以下の通りでした。

atmark@atde9:~/Develop/armadillo/op-tee$ file imx-boot/imx-boot_armadillo_x2 
imx-boot/imx-boot_armadillo_x2: Apple DiskCopy 4.2 image , 167772180 bytes, 0x1f2003d5 tag size, 0xf8 encoding, 0x22 format

私がどこかしらかで初歩的なミスを犯している可能性も十二分にございますが、上記ご確認よろしくお願いいたします。
追加で掲載すべき情報がございましたらその旨お伝えください。