566863ca19
Use generic grub_reboot() for i386-efi. * kern/efi/efi.c [__i386__] (grub_reboot): Remove. * kern/i386/efi/startup.S: Include `"../realmode.S"'. * kern/i386/realmode.S: Include `<grub/i386/pc/memory.h>'. |
||
---|---|---|
.. | ||
efi.c | ||
init.c | ||
mm.c |