Lines Matching refs:efi

93 option('efi', type : 'boolean',  boolean
425 option('gnu-efi', type : 'combo', choices : ['auto', 'true', 'false'],
426        description : 'gnu-efi support for sd-boot')
427 option('efi-cflags', type : 'array',
431 option('efi-ld', type : 'combo', choices : ['auto', 'bfd', 'gold'],
433 option('efi-libdir', type : 'string',
435 option('efi-includedir', type : 'string', value : '/usr/include/efi',
437 option('efi-tpm-pcr-compat', type : 'boolean', value : 'false',
451 option('efi-color-normal', type : 'string', value : 'lightgray,black',
453 option('efi-color-entry', type : 'string', value : 'lightgray,black',
455 option('efi-color-highlight', type : 'string', value : 'black,lightgray',
457 option('efi-color-edit', type : 'string', value : 'black,lightgray',