2 # Module that produces EBC Interprete and EBC Debug Support protocols.
4 # This module implements EFI Byte Code (EBC) Virtual Machine that can provide
5 # platform and processor-independent mechanisms for loading and executing EFI
8 # Copyright (c) 2015, The Linux Foundation. All rights reserved.
9 # Copyright (c) 2006 - 2018, Intel Corporation. All rights reserved.<BR>
10 # SPDX-License-Identifier: BSD-2-Clause-Patent
15 INF_VERSION = 0x00010005
17 MODULE_UNI_FILE = EbcDxe.uni
18 FILE_GUID = 13AC6DD0-73D0-11D4-B06B-00AA00BD6DE7
19 MODULE_TYPE = DXE_DRIVER
21 ENTRY_POINT = InitializeEbcDriver
24 # The following information is for reference only and not required by the build tools.
26 # VALID_ARCHITECTURES = IA32 X64 AARCH64
51 MdeModulePkg/MdeModulePkg.dec
57 UefiBootServicesTableLib
65 gEfiDebugSupportProtocolGuid ## PRODUCES
66 gEfiEbcProtocolGuid ## PRODUCES
67 gEdkiiPeCoffImageEmulatorProtocolGuid ## PRODUCES
68 gEfiEbcVmTestProtocolGuid ## SOMETIMES_PRODUCES
69 gEfiEbcSimpleDebuggerProtocolGuid ## SOMETIMES_CONSUMES
76 # Periodic timer event to support EFI debug support protocol for EBC image.
78 # EVENT_TYPE_PERIODIC_TIMER ## CONSUMES
80 [UserExtensions.TianoCore."ExtraFiles"]