Lines Matching refs:file
10 normal Image format, so a single binary may be booted as an Image file or as an
12 configuration file as described below unless a bootloader, such as GRUB, has
25 The binary itself will require a configuration file (names with the `.efi`
27 file is found - trailing name components dropped at `.`, `-`, and `_`
32 This configuration file and EFI commandline are only used for booting directly
38 The configuration file consists of one or more sections headed by a section
42 settings in case individual sections don't specify them). This file (for now)
43 needs to be of ASCII type and not e.g. UTF-8 or UTF-16. A typical file would
65 first instance within the file will be used.
103 Specifies a device tree file to load. The platform firmware may provide a
105 case. A dtb specified in the configuration file will override a device tree
110 Specifies an alternate configuration file to use in case the specified section
112 specified) configuration file. This is only meaningful in the [global] section