tree 172cb3a4320ff94acb637d4dae14f0348a03b64d
parent 80aded4064d902f8952e8046a2567c738a4f7789
author Gabe Black <gabeblack@google.com> 1471644151 -0700
committer Gabe Black <gabeblack@google.com> 1471644151 -0700

uefi: Add support for the non-standard shell interface protocol.

Change-Id: I75f7aa530c11e6179eedfac55f4a10220b3804e4