Lines Matching refs:efi

3 conf.set10('ENABLE_EFI', get_option('efi'))
8 if not get_option('efi') or get_option('gnu-efi') == 'false'
9         if get_option('gnu-efi') == 'true'
10                 error('gnu-efi support requested, but general efi support is disabled')
16 if efi_arch == 'x86' and '-m64' in get_option('efi-cflags')
18 elif efi_arch == 'x86_64' and '-m32' in get_option('efi-cflags')
30 efi_incdir = get_option('efi-includedir')
33                 args: get_option('efi-cflags'))
39         if get_option('gnu-efi') == 'true'
40                 error('gnu-efi support requested, but headers not found or efi arch is unknown')
42         warning('gnu-efi headers not found or efi arch is unknown, disabling gnu-efi support')
46 if not cc.has_header_symbol('efi.h', 'EFI_IMAGE_MACHINE_X64',
47                 args: ['-nostdlib', '-ffreestanding', '-fshort-wchar'] + get_option('efi-cflags'),
50         if get_option('gnu-efi') == 'true'
51                 error('gnu-efi support requested, but found headers are too old (3.0.5+ required)')
53         warning('gnu-efi headers are too old (3.0.5+ required), disabling gnu-efi support')
59 efi_ld = get_option('efi-ld')
63                 warning('Not using @0@ as efi-ld, falling back to bfd'.format(efi_ld))
69         cc.cmd_array(), '-print-multi-os-directory', get_option('efi-cflags'),
78 foreach dir : [get_option('efi-libdir'),
87         if get_option('gnu-efi') == 'true'
88                 error('gnu-efi support requested, but efi-libdir was not found')
90         warning('efi-libdir was not found, disabling gnu-efi support')
95 foreach location : [ # New locations first introduced with gnu-efi 3.0.11
96                     [efi_libdir / 'efi.lds',
100                      efi_libdir / 'gnuefi' / 'crt0-efi-@0@.o'.format(efi_arch[1])],
102                      efi_libdir / 'crt0-efi-@0@.o'.format(efi_arch[1])]]
110         if get_option('gnu-efi') == 'true'
111                 error('gnu-efi support requested, but cannot find efi.lds')
113         warning('efi.lds was not found, disabling gnu-efi support')
123 efi_conf.set10('EFI_TPM_PCR_COMPAT', get_option('efi-tpm-pcr-compat'))
126         c = get_option('efi-' + ctype).split(',')
248 efi_cflags += get_option('efi-cflags')
274         efi_format = ['--target=efi-app-@0@'.format(efi_arch[1])]
286         # fedora has a patched gnu-efi that adds support for ELF constructors.
288         # in sd-boot freezing when gnu-efi runs the constructors. Force defining
433         efi = custom_target(  variable
434                 tuple[0].format(efi_arch[0], 'efi'),
436                 output : tuple[0].format(efi_arch[0], 'efi'),
455         alias_target(tuple[3], efi)