VirtualBox

source: vbox/trunk/src/VBox/Devices/EFI/FirmwareNew/ArmPlatformPkg/Sec/Sec.inf@ 108794

Last change on this file since 108794 was 108794, checked in by vboxsync, 2 weeks ago

Devices/EFI/FirmwareNew: Merge edk2-stable202502 from the vendor branch and make it build for the important platforms, bugref:4643

  • Property svn:eol-style set to native
File size: 1.3 KB
Line 
1## @file
2# Generic SEC driver for ARM platforms
3#
4# Copyright (c) 2011, ARM Limited. All rights reserved.
5#
6# SPDX-License-Identifier: BSD-2-Clause-Patent
7#
8##
9
10[Defines]
11 INF_VERSION = 1.30
12 BASE_NAME = Sec
13 FILE_GUID = 4c97830a-8e18-4aa6-9fd0-837b089910e2
14 MODULE_TYPE = SEC
15 VERSION_STRING = 1.0
16
17[Sources.common]
18 Sec.h
19 Sec.c
20
21[Sources.ARM]
22 Arm/ArchSec.c
23 Arm/Exception.S
24 Arm/ModuleEntryPoint.S
25 Arm/SwitchStack.S
26
27[Sources.AARCH64]
28 AArch64/ArchSec.c
29 AArch64/Exception.S
30 AArch64/Helper.S
31 AArch64/ModuleEntryPoint.S
32 AArch64/SwitchStack.S
33
34[Packages]
35 ArmPlatformPkg/ArmPlatformPkg.dec
36 ArmPkg/ArmPkg.dec
37 MdeModulePkg/MdeModulePkg.dec
38 MdePkg/MdePkg.dec
39
40[LibraryClasses]
41 ArmLib
42 ArmPlatformLib
43 BaseLib
44 BaseMemoryLib
45 CacheMaintenanceLib
46 DebugAgentLib
47 DebugLib
48 PrintLib
49 SerialPortLib
50 StackCheckLib
51
52[Ppis]
53 gEfiTemporaryRamSupportPpiGuid
54
55[Pcd]
56 gEfiMdeModulePkgTokenSpaceGuid.PcdFirmwareVersionString
57
58[FixedPcd]
59 gArmTokenSpaceGuid.PcdFvBaseAddress
60 gArmTokenSpaceGuid.PcdFvSize
61 gArmTokenSpaceGuid.PcdVFPEnabled
62
63 gArmPlatformTokenSpaceGuid.PcdCPUCoresStackBase
64 gArmPlatformTokenSpaceGuid.PcdCPUCorePrimaryStackSize
65
66 gEfiMdeModulePkgTokenSpaceGuid.PcdInitValueInTempStack
Note: See TracBrowser for help on using the repository browser.

© 2025 Oracle Support Privacy / Do Not Sell My Info Terms of Use Trademark Policy Automated Access Etiquette