[efi] Register a device tree if provided by the platform firmware

Signed-off-by: Michael Brown <mcb30@ipxe.org>
2019-07-19 17:42:12 +01:00
parent e520a51df1
commit 6dde0f60bf
3 changed files with 74 additions and 0 deletions
@@ -36,3 +36,6 @@ PROVIDE_REQUIRING_SYMBOL();
 /*
 * Drag in devicetree sources
 */
+#ifdef FDT_EFI
+REQUIRE_OBJECT ( efi_fdt );
+#endif
@@ -22,6 +22,7 @@ FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
 #define TIME_EFI
 #define REBOOT_EFI
 #define ACPI_EFI
+#define FDT_EFI

 #define DOWNLOAD_PROTO_FILE	/* Local filesystem access */