71cd508838
Abstract out the ability to reboot the system to a separate reboot() function (with platform-specific implementations), add an EFI implementation, and make the existing "reboot" command available under EFI. Signed-off-by: Michael Brown <mcb30@ipxe.org> |
||
---|---|---|
.. | ||
bits | ||
efi/ipxe | ||
gdbmach.h | ||
limits.h |