EFI Shell

https://svn.code.sf.net/p/edk2/code/trunk/edk2/EdkShellBinPkg/FullShell/X64/Shell_Full.efi からダウンロード。
http://sourceforge.net/projects/efi-shell/ から EfiShell をダウンロードするが src だけだった。

usbメモリのルートに shellx64.efi としておく。
BIOS Exit から Launch EFI Shell from USB drives を選ぶと、bootする。

help でコマンド一覧。help <コマンド> で詳しく。
だが長くて、流れていっちゃいます。
help -b つけるとページで止まる。pci -b でも同様。