diff options
| author | Michael Brown | 2013-03-22 14:42:16 +0100 |
|---|---|---|
| committer | Michael Brown | 2013-03-22 14:44:02 +0100 |
| commit | 71cd50883896dc043f1025a3b96f3c0c7f3b2184 (patch) | |
| tree | 0d8ec2942571e93d5dfc96e2ac8ff08823735ceb /src/config | |
| parent | [build] Avoid strict-aliasing warning for gcc 4.3 (diff) | |
| download | ipxe-71cd50883896dc043f1025a3b96f3c0c7f3b2184.tar.gz ipxe-71cd50883896dc043f1025a3b96f3c0c7f3b2184.tar.xz ipxe-71cd50883896dc043f1025a3b96f3c0c7f3b2184.zip | |
[efi] Add "reboot" command for EFI
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>
Diffstat (limited to 'src/config')
| -rw-r--r-- | src/config/defaults/efi.h | 3 | ||||
| -rw-r--r-- | src/config/defaults/linux.h | 1 | ||||
| -rw-r--r-- | src/config/defaults/pcbios.h | 1 | ||||
| -rw-r--r-- | src/config/reboot.h | 16 |
4 files changed, 21 insertions, 0 deletions
diff --git a/src/config/defaults/efi.h b/src/config/defaults/efi.h index 923360ae8..c453e89a4 100644 --- a/src/config/defaults/efi.h +++ b/src/config/defaults/efi.h @@ -19,8 +19,11 @@ #define BOFM_EFI #define ENTROPY_NULL #define TIME_NULL +#define REBOOT_EFI #define IMAGE_EFI /* EFI image support */ #define IMAGE_SCRIPT /* iPXE script image support */ +#define REBOOT_CMD /* Reboot command */ + #endif /* CONFIG_DEFAULTS_EFI_H */ diff --git a/src/config/defaults/linux.h b/src/config/defaults/linux.h index 50897560d..666db6b82 100644 --- a/src/config/defaults/linux.h +++ b/src/config/defaults/linux.h @@ -16,6 +16,7 @@ #define SANBOOT_NULL #define ENTROPY_LINUX #define TIME_LINUX +#define REBOOT_NULL #define DRIVERS_LINUX diff --git a/src/config/defaults/pcbios.h b/src/config/defaults/pcbios.h index c52fca972..7debc8d2f 100644 --- a/src/config/defaults/pcbios.h +++ b/src/config/defaults/pcbios.h @@ -20,6 +20,7 @@ FILE_LICENCE ( GPL2_OR_LATER ); #define SANBOOT_PCBIOS #define ENTROPY_RTC #define TIME_RTC +#define REBOOT_PCBIOS #define IMAGE_ELF /* ELF image support */ #define IMAGE_MULTIBOOT /* MultiBoot image support */ diff --git a/src/config/reboot.h b/src/config/reboot.h new file mode 100644 index 000000000..240ef87be --- /dev/null +++ b/src/config/reboot.h @@ -0,0 +1,16 @@ +#ifndef CONFIG_REBOOT_H +#define CONFIG_REBOOT_H + +/** @file + * + * Reboot API configuration + * + */ + +FILE_LICENCE ( GPL2_OR_LATER ); + +#include <config/defaults.h> + +#include <config/local/reboot.h> + +#endif /* CONFIG_REBOOT_H */ |