FpkSetup

Index: 0341 | Size: 21,120 bytes | Arch: x64 | Phase: DXE

Overview

FpkSetup configures firmware protection key (FPK) settings for the HR650X platform. It reads FPK policy from UEFI variables and applies chipset-level protection key registers that control access to protected firmware regions, ensuring secure boot and BIOS region integrity.

Key Functions

• ModuleEntryPoint -- UEFI entry point; initializes globals and dispatches FPK configuration
• ApplyFirmwareProtectionKeyPolicy -- FPK register programming and policy application
• InitializeBootRuntimeServices -- UEFI boot/runtime services baseline initialization

Dependencies

• UEFI Boot Services / Runtime Services Table Library
• Chipset FPK (Firmware Protection Key) registers
• UEFI Variable services for policy storage
• BIOS region lock / flash protection interface

Platform

HR650X, x86-64, PE32+ image, 6 sections, subsystem 0x0B (EFI_BOOT_SERVICE_DRIVER)