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 - 2014, Intel Corporation. All rights reserved.<BR>
10 # This program and the accompanying materials
11 # are licensed and made available under the terms and conditions of the BSD License
12 # which accompanies this distribution. The full text of the license may be found at
13 # http://opensource.org/licenses/bsd-license.php
15 # THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
16 # WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
21 INF_VERSION = 0x00010005
23 MODULE_UNI_FILE = EbcDxe.uni
24 FILE_GUID = 13AC6DD0-73D0-11D4-B06B-00AA00BD6DE7
25 MODULE_TYPE = DXE_DRIVER
27 ENTRY_POINT = InitializeEbcDriver
30 # The following information is for reference only and not required by the build tools.
32 # VALID_ARCHITECTURES = IA32 X64 IPF AARCH64
66 MdeModulePkg/MdeModulePkg.dec
70 UefiBootServicesTableLib
78 gEfiDebugSupportProtocolGuid ## PRODUCES
79 gEfiEbcProtocolGuid ## PRODUCES
80 gEfiEbcVmTestProtocolGuid ## SOMETIMES_PRODUCES
81 gEfiEbcSimpleDebuggerProtocolGuid ## SOMETIMES_CONSUMES
88 # Periodic timer event to support EFI debug support protocol for EBC image.
90 # EVENT_TYPE_PERIODIC_TIMER ## CONSUMES
92 [UserExtensions.TianoCore."ExtraFiles"]