Platform/Intel/SimicsOpenBoardPkg/Library/SimicsUefiDeviceLib/SimicsUefiDeviceLib.inf


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36

## @file
#  Library for detecting and accessing the Simics UEFI PCI config device.
#
# Copyright (c) 2026, Intel Corporation. All rights reserved. <BR>
#
# SPDX-License-Identifier: BSD-2-Clause-Patent
#
##

[Defines]
  INF_VERSION                    = 0x00010005
  BASE_NAME                      = SimicsUefiDeviceLib
  FILE_GUID                      = 25cbd4bd-c100-47df-acd7-0cdeca3a47a2
  MODULE_TYPE                    = DXE_DRIVER
  VERSION_STRING                 = 1.0
  LIBRARY_CLASS                  = SimicsUefiDeviceLib|DXE_DRIVER UEFI_DRIVER

[Sources]
  SimicsUefiDeviceLib.c

[Packages]
  MdePkg/MdePkg.dec
  SimicsOpenBoardPkg/OpenBoardPkg.dec

[LibraryClasses]
  DebugLib
  PcdLib
  UefiBootServicesTableLib

[Pcd]
  gSimicsOpenBoardPkgTokenSpaceGuid.PcdUefiDeviceFunction  ## CONSUMES
  gSimicsOpenBoardPkgTokenSpaceGuid.PcdUefiDeviceDevice    ## CONSUMES
  gSimicsOpenBoardPkgTokenSpaceGuid.PcdUefiDeviceBus       ## CONSUMES

[Protocols]
  gEfiPciRootBridgeIoProtocolGuid                          ## CONSUMES