From 13a6eac0506d13187a04f2fba3426d7e842fdd5b Mon Sep 17 00:00:00 2001 From: Heinrich Schuchardt Date: Wed, 28 Jan 2026 22:00:06 +0100 Subject: [PATCH] chapter2: fix EFI_RT_PROPERTIES_TABLE requirement The UEFI specification requires that the EFI_RT_PROPERTIES_TABLE describes the supported services after ExitBootServices(). The table does not describe missing support before this event. Signed-off-by: Heinrich Schuchardt --- source/chapter2-uefi.rst | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/source/chapter2-uefi.rst b/source/chapter2-uefi.rst index 5dad316..b0f3e75 100644 --- a/source/chapter2-uefi.rst +++ b/source/chapter2-uefi.rst @@ -50,8 +50,8 @@ All of the following UEFI elements are required for EBBR compliance. - All functions defined as runtime services must exist. Methods for unsupported or unimplemented behaviour must return an appropriate error code. - If any runtime service is unimplemented, it must be indicated - via the `EFI_RT_PROPERTIES_TABLE`. + If any runtime service is not supported after `ExitBootServices()`, this + must be indicated via the `EFI_RT_PROPERTIES_TABLE`. * - `EFI_LOADED_IMAGE_PROTOCOL` - Must be installed for each loaded image. * - `EFI_LOADED_IMAGE_DEVICE_PATH_PROTOCOL`