Skip to content

Commit ab386f9

Browse files
behrmannkeszybz
authored andcommitted
bls: define undefined behaviour
1 parent bc90424 commit ab386f9

File tree

1 file changed

+3
-1
lines changed

1 file changed

+3
-1
lines changed

specs/boot_loader_specification.md

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -338,7 +338,9 @@ The following keys are recognized:
338338
* `profile` refers to the profile number to use in multi-profile EFI programs.
339339
See the section `multi-profile UKIs` in [the UKI Specification](unified_kernel_image.md)
340340
for more information.
341-
This should only be used when `uki` or `uki-url` is set to a multi-profile UKI. Behaviour is undefined for any other cases.
341+
This should only be used when `uki` or `uki-url` is set to a multi-profile UKI.
342+
Behaviour is implementation-defined for any other case and implementors may choose to
343+
ignore the field or issue a warning.
342344

343345
Example: `profile 1`
344346

0 commit comments

Comments
 (0)