ちょっと調べてきました。
BFDnameというのがあるようなんですがこれの一覧？とういうのが調べてもわかりません。
objcopyでbinaryと指定した場合はどういった形式になるんでしょうか？
ELF?でいいんですか？それともa.out形式（←間違ってるかも）、またはそれ以外？