tree dc6fd53161c4a76eabee8f668157a2b8eb574d0d
parent 6a764fc4a181282fdcd6b502696335e0a29f4b6e
author Tim Kilbourn <tkilbourn@google.com> 1474046696 -0700
committer Tim Kilbourn <tkilbourn@google.com> 1474309950 -0700

[osboot] Boot prompt for gigaboot

If there's a network interface attached and a magenta.bin, prompt the
user which they want to boot. (After 3 seconds, default to netboot.)

Also fix loading EFI images over netboot.

Change-Id: Iff1e891106a29a33a238504c797e3dff0748b535