# $Id: VBoxVgaMiniPortDxe.inf $
## @file
# VBoxVgaMiniPortDxe.inf - VgaMiniPort Protocol module declaration.
#


#
# Copyright (C) 2009-2010 Oracle Corporation
#
# This file is part of VirtualBox Open Source Edition (OSE), as
# available from http://www.virtualbox.org. This file is free software;
# you can redistribute it and/or modify it under the terms of the GNU
# General Public License (GPL) as published by the Free Software
# Foundation, in version 2 as it comes in the "COPYING" file of the
# VirtualBox OSE distribution. VirtualBox OSE is distributed in the
# hope that it will be useful, but WITHOUT ANY WARRANTY of any kind.
#
# The contents of this file may alternatively be used under the terms
# of the Common Development and Distribution License Version 1.0
# (CDDL) only, as it comes in the "COPYING.CDDL" file of the
# VirtualBox OSE distribution, in which case the provisions of the
# CDDL are applicable instead of those of the GPL.
#
# You may elect to license modified versions of this file under the
# terms and conditions of either the GPL or the CDDL or both.
#
#/



[Defines]
        INF_VERSION                = 0x00010005
        BASE_NAME                  = VBoxVgaMiniPortDxe
        FILE_GUID                  = AE8558FD-9DA9-4FA1-AE16-94456C977244
        MODULE_TYPE                = UEFI_DRIVER
        VERSION_STRING             = 1.0
        EDK_RELEASE_VERSION        = 0x00020000
        EFI_SPECIFICATION_VERSION  = 0x00020000
        ENTRY_POINT                = DxeInitializeVBoxVgaMiniPort

[Sources.common]
        VBoxVgaMiniPortDxe.c
        VBoxVgaFonts.h
        VBoxVgaFont-8x14.h

[Packages]
        MdePkg/MdePkg.dec
        IntelFrameworkModulePkg/IntelFrameworkModulePkg.dec
        VBoxPkg/VBoxPkg.dec

[LibraryClasses]
   UefiLib
   DebugLib
   UefiBootServicesTableLib
   UefiDriverEntryPoint
   BaseMemoryLib
   MemoryAllocationLib

[Protocols]
        gEfiPciIoProtocolGuid               ## TO_START
        gEfiVgaMiniPortProtocolGuid         ## BY_START