>>884
EFIのコア側にBSD由来コードが入ってるかは確認してない。
コア部はObject指向実装なのであからさまには入ってなさそう。

EFIの組み込みコマンド開発、外部コマンド開発をサポートするためにIntelが
提供してるのがEFI Toolkit。
ベンダは機種毎に色々コマンド追加して製品化するだろうからBSDライブラリを
使うことはあるんじゃないかと思ってる。

EFI Toolkitはフリーで配布してるよ。
IntelサイトにいってEFI Toolkitで検索してみればダウンロードサイトにたどり着ける。
もってきたソースはMicroSoftのPlatform SDKでコンパイルできる。
トップディレクトリでmake一発でライブラリと利用例が全部buildできる。
Intel MACみたいなEFIマシンならコンパイルしたのを実行できる。

libディレクトリの中にbsdディレクトリがあってライブラリのマニュアルがHTMLで入ってるが
FreeBSDのmanそのまんまをHTMLにしてあるだけ。実際に移植してあるかはお構いなし。
termios使ってみたら動かなかったので中身見たら、先頭でこんなふうになってた。orz
#ifndef FREEBSD
return;
#endif

libsocketはそれなりに動いたよ。NICのEFIドライバが無いとだめだけど。
ライブラリ利用例としてhexdump, ifconfig, ping, ftp, ftpd , physonとかが入っててすぐに試せる。