# @Prompt Flag to request system reboot after processing capsule.\r
gEfiMdeModulePkgTokenSpaceGuid.PcdSystemRebootAfterCapsuleProcessFlag|0x0001|UINT16|0x0000006d\r
\r
- ## Publish PropertiesTable or not.\r
- #\r
- # If this PCD is TRUE, DxeCore publishs PropertiesTable.\r
- # DxeCore evaluates if all runtime drivers has 4K aligned PE sections. If all\r
- # PE sections in runtime drivers are 4K aligned, DxeCore sets BIT0 in\r
- # PropertiesTable. Or DxeCore clears BIT0 in PropertiesTable.\r
- # If this PCD is FALSE, DxeCore does not publish PropertiesTable.\r
- #\r
- # If PropertiesTable has BIT0 set, DxeCore uses below policy in UEFI memory map:\r
- # 1) Use EfiRuntimeServicesCode for runtime driver PE image code section and\r
- # use EfiRuntimeServicesData for runtime driver PE image header and other section.\r
- # 2) Set EfiRuntimeServicesCode to be EFI_MEMORY_RO.\r
- # 3) Set EfiRuntimeServicesData to be EFI_MEMORY_XP.\r
- # 4) Set EfiMemoryMappedIO and EfiMemoryMappedIOPortSpace to be EFI_MEMORY_XP.\r
- #\r
- # NOTE: Platform need gurantee this PCD is set correctly. Platform should set\r
- # this PCD to be TURE if and only if all runtime driver has seperated Code/Data\r
- # section. If PE code/data sections are merged, the result is unpredictable.\r
- #\r
- # UEFI 2.6 specification does not recommend to use this BIT0 attribute.\r
- #\r
- # @Prompt Publish UEFI PropertiesTable.\r
- gEfiMdeModulePkgTokenSpaceGuid.PcdPropertiesTableEnable|FALSE|BOOLEAN|0x0000006e\r
-\r
## Default OEM ID for ACPI table creation, its length must be 0x6 bytes to follow ACPI specification.\r
# @Prompt Default OEM ID for ACPI table creation.\r
gEfiMdeModulePkgTokenSpaceGuid.PcdAcpiDefaultOemId|"INTEL "|VOID*|0x30001034\r