diff options
Diffstat (limited to 'src/config/defaults')
| -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 |
3 files changed, 5 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 */ |