2 # Platform VTd Sample driver.
4 # Note: This module should only be used for dev/debug purposes.
5 # It MUST never be used for production builds.
7 # Copyright (c) 2017 - 2018, Intel Corporation. All rights reserved.<BR>
8 # SPDX-License-Identifier: BSD-2-Clause-Patent
13 INF_VERSION = 0x00010005
14 BASE_NAME = PlatformVTdSampleDxe
15 MODULE_UNI_FILE = PlatformVTdSampleDxe.uni
16 FILE_GUID = 5DFAE03E-9C19-4996-85BF-65297BD4137F
17 MODULE_TYPE = DXE_DRIVER
19 ENTRY_POINT = PlatformVTdSampleInitialize
22 # The following information is for reference only and not required by the build tools.
24 # VALID_ARCHITECTURES = IA32 X64 EBC
29 PlatformVTdSampleDxe.c
33 MdeModulePkg/MdeModulePkg.dec
34 IntelSiliconPkg/IntelSiliconPkg.dec
39 UefiBootServicesTableLib
48 gEdkiiPlatformVTdPolicyProtocolGuid ## PRODUCES
49 gEfiPciIoProtocolGuid ## CONSUMES
52 gEfiPciRootBridgeIoProtocolGuid
54 [UserExtensions.TianoCore."ExtraFiles"]
55 PlatformVTdSampleDxeExtra.uni