From 6dde0f60bfab458208a763532c9e776b32deebb3 Mon Sep 17 00:00:00 2001 From: Michael Brown Date: Fri, 19 Jul 2019 17:42:12 +0100 Subject: [efi] Register a device tree if provided by the platform firmware Signed-off-by: Michael Brown --- src/config/config_fdt.c | 3 +++ src/config/defaults/efi.h | 1 + 2 files changed, 4 insertions(+) (limited to 'src/config') diff --git a/src/config/config_fdt.c b/src/config/config_fdt.c index 85d62ace1..e8d425933 100644 --- a/src/config/config_fdt.c +++ b/src/config/config_fdt.c @@ -36,3 +36,6 @@ PROVIDE_REQUIRING_SYMBOL(); /* * Drag in devicetree sources */ +#ifdef FDT_EFI +REQUIRE_OBJECT ( efi_fdt ); +#endif diff --git a/src/config/defaults/efi.h b/src/config/defaults/efi.h index 74effa425..53a7a7b4b 100644 --- a/src/config/defaults/efi.h +++ b/src/config/defaults/efi.h @@ -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 */ -- cgit v1.2.3-55-g7522