vmlinuxとvmlinux.binの違いは何ですか？

少なくともx86から、vmlinux.binはい

vmlinuxデバッグとコメントの削除

この場合、「コメント」はELF部分、つまりデバッグシンボルとパターン一致部分を削除した結果でvmlinuxあるELFオブジェクトファイルを表します。実行してビルドされます。vmlinux.bin.commentvmlinux.bin

objcopy -R .comment -S vmlinux vmlinux.bin

キットの投稿に加えて

仮想マシンLinux

「vmlinux」という名前は、仮想メモリをサポートする「linux」に由来しています。これは通常ELF形式であり、リンカによって生成されます。このファイルには、Linuxカーネルを起動するにはvmlinuxイメージが必要です。プロセッサの種類に応じて異なる形式に変換する」（Weng、2017）

仮想マシンlinux.bin

「これはvmlinuxイメージのobjdumpを使用して作成されたカーネルイメージのバイナリ形式です」（Weng、2017）

参照番号：
Weng Wen（2017年3月17日）。さまざまな形式のLinuxカーネルイメージ| Wen Weiの技術ブログオンブログ。http://weng-blog.com/2017/03/linux-kernel-image/