Home | History | Annotate | Download | only in EbcDxe
      1 ## @file

      2 #  Module that produces EBC Interprete and EBC Debug Support protocols.

      3 #  

      4 #  This module implements EFI Byte Code (EBC) Virtual Machine that can provide 

      5 #  platform and processor-independent mechanisms for loading and executing EFI

      6 #  device drivers.

      7 #

      8 #  Copyright (c) 2006 - 2014, Intel Corporation. All rights reserved.<BR>

      9 #  This program and the accompanying materials

     10 #  are licensed and made available under the terms and conditions of the BSD License

     11 #  which accompanies this distribution.  The full text of the license may be found at

     12 #  http://opensource.org/licenses/bsd-license.php

     13 #  

     14 #  THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,

     15 #  WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.

     16 #  

     17 ##

     18 
     19 [Defines]
     20   INF_VERSION                    = 0x00010005
     21   BASE_NAME                      = EbcDxe
     22   MODULE_UNI_FILE                = EbcDxe.uni
     23   FILE_GUID                      = 13AC6DD0-73D0-11D4-B06B-00AA00BD6DE7
     24   MODULE_TYPE                    = DXE_DRIVER
     25   VERSION_STRING                 = 1.0
     26   ENTRY_POINT                    = InitializeEbcDriver
     27 
     28 #

     29 # The following information is for reference only and not required by the build tools.

     30 #

     31 #  VALID_ARCHITECTURES           = IA32 X64 IPF

     32 #

     33 
     34 [Sources]
     35   EbcExecute.h
     36   EbcExecute.c
     37   EbcInt.h
     38   EbcInt.c
     39 
     40 [Sources.Ia32]
     41   Ia32/EbcSupport.c
     42   Ia32/EbcLowLevel.S
     43   Ia32/EbcLowLevel.asm
     44 
     45 [Sources.X64]
     46   X64/EbcSupport.c
     47   X64/EbcLowLevel.S
     48   X64/EbcLowLevel.asm
     49 
     50 [Sources.IPF]
     51   Ipf/EbcSupport.h
     52   Ipf/EbcSupport.c
     53   Ipf/EbcLowLevel.s
     54 
     55 
     56 [Packages]
     57   MdePkg/MdePkg.dec
     58   MdeModulePkg/MdeModulePkg.dec
     59 
     60 [LibraryClasses]
     61   MemoryAllocationLib
     62   UefiBootServicesTableLib
     63   BaseMemoryLib
     64   UefiDriverEntryPoint
     65   DebugLib
     66   BaseLib
     67 
     68 
     69 [Protocols]
     70   gEfiDebugSupportProtocolGuid                  ## PRODUCES

     71   gEfiEbcProtocolGuid                           ## PRODUCES

     72   gEfiEbcVmTestProtocolGuid                     ## SOMETIMES_PRODUCES

     73   gEfiEbcSimpleDebuggerProtocolGuid             ## SOMETIMES_CONSUMES

     74 
     75 [Depex]
     76   TRUE
     77 
     78 # [Event]

     79 #

     80 # Periodic timer event to support EFI debug support protocol for EBC image.

     81 #

     82 # EVENT_TYPE_PERIODIC_TIMER ## CONSUMES

     83 
     84 [UserExtensions.TianoCore."ExtraFiles"]
     85   EbcDxeExtra.uni