From d867c9ea6a4a1223bb722a7c747ad7db6b391a3c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?J=C3=B6rg=20Behrmann?= Date: Tue, 14 Oct 2025 16:52:19 +0200 Subject: [PATCH] bls: define undefined behaviour --- specs/boot_loader_specification.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/specs/boot_loader_specification.md b/specs/boot_loader_specification.md index 48c56470..f37652d2 100644 --- a/specs/boot_loader_specification.md +++ b/specs/boot_loader_specification.md @@ -338,7 +338,9 @@ The following keys are recognized: * `profile` refers to the profile number to use in multi-profile EFI programs. See the section `multi-profile UKIs` in [the UKI Specification](unified_kernel_image.md) for more information. - This should only be used when `uki` or `uki-url` is set to a multi-profile UKI. Behaviour is undefined for any other cases. + This should only be used when `uki` or `uki-url` is set to a multi-profile UKI. + Behaviour is implementation-defined for any other case and implementors may choose to + ignore the field or issue a warning. Example: `profile 1`