UEFIのSDK事情
なんか幾つか選択肢があって混乱したので、今理解していることをメモっとく。
EDK II
このへん。
オープンソースで開発されてるUEFIのSDKで、UEFIのSDKまわりをググってると一番よく出てくるやつ。
つかいかたはこのへんとか。
…なんだが、ソースの取得方法に
$ svn co https://edk2.svn.sourceforge.net/svnroot/edk2/trunk/edk2
とか書いてあって、それってまぁ見れば分かると思うけど、開発版なんだよね。
色々試してみたら、普通にビルド通らないコードとかあってびっくりした。
ライセンスはBSDL。
libcとかsocket libraryとかUEFIで動くpythonとか含まれてる。
なお、「UEFIアプリケーションのSDK」としても使えるが、そもそも「UEFIファームウェアのSDK」であり、「UEFI ShellのSDK」でもある。
UDK2010
このへん。
UDK2010がEDK IIのstable releaseで、IntelがEDK IIを元にリリースしてるっぽい。
なので、爆死しないためにはこっちを使った方が良さそう。
含まれてるコンポーネントは大体同じ…？
