Mac OS X Lion による EFI 開発環境

ただの悩みまとめです。

32 bit 環境は以下のページを参考に構築出来ました。

http://osxbook.com/book/bonus/chapter4/efiprogramming/

gnu-efi 自体の make install は正しく通りませんが、「hello.efi」形式を出力することは出来ました。

ただ、私が欲しいのはEFI 64bit 開発環境なので、これではまだ足りません。
Mac OS X Lion は 64bit EFI 対応なので、Apple が Mac OS X を使って Mac OS X を開発しているならこの問題を解決していると思いますが……。

上のページを真似て

gcc
binutils
glibc
gnu-efi

の最新版をインストールしようとしたら、glibc の make でこのプラットフォームは対応していないので開発グループに参加してはどうかと進められます。
やっぱりどうにかして EDK II を Mac OS X でビルドするしかないのかなー。