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