2ef2b01e07
ArmPkg - Supoprt for ARM specific things that can change as the architecture changes. Plus semihosting JTAG drivers. EmbeddedPkg - Generic support for an embeddded platform. Including a light weight command line shell. BeagleBoardPkg - Platform specifics for BeagleBoard. SD Card works, but USB has issues. Looks like a bug in the open source USB stack (Our internal stack works fine). git-svn-id: https://edk2.svn.sourceforge.net/svnroot/edk2/trunk/edk2@9518 6f19259b-4bc3-4df7-8a09-765794883524
30 lines
656 B
INI
30 lines
656 B
INI
#%HEADER%
|
|
[Defines]
|
|
INF_VERSION = 0x00010005
|
|
BASE_NAME = EmbeddedMonotonicCounter
|
|
FILE_GUID = FCABE6A7-7953-4A84-B7EC-D29E89B62E87
|
|
MODULE_TYPE = DXE_RUNTIME_DRIVER
|
|
VERSION_STRING = 1.0
|
|
|
|
ENTRY_POINT = MonotonicCounterDriverInitialize
|
|
|
|
[Sources.common]
|
|
EmbeddedMonotonicCounter.c
|
|
|
|
[Packages]
|
|
MdePkg/MdePkg.dec
|
|
|
|
[LibraryClasses]
|
|
BaseLib
|
|
DebugLib
|
|
UefiBootServicesTableLib
|
|
UefiDriverEntryPoint
|
|
UefiRuntimeServicesTableLib
|
|
|
|
[Protocols]
|
|
gEfiMonotonicCounterArchProtocolGuid
|
|
|
|
[Depex]
|
|
TRUE
|
|
|