[efi] Register a device tree if provided by the platform firmware
[ipxe.git] / src / config / reboot.h
1 #ifndef CONFIG_REBOOT_H
2 #define CONFIG_REBOOT_H
3
4 /** @file
5 *
6 * Reboot API configuration
7 *
8 */
9
10 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
11
12 #include <config/defaults.h>
13
14 #include <config/local/reboot.h>
15
16 #endif /* CONFIG_REBOOT_H */