# $Id: VBoxDebugAgentLib.inf $
## @file
# VBox implementation of DebugAgentLib that reports EFI state transitions
# to DevEFI (for debugging purposes).
#

#
# Copyright (C) 2013-2019 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       = VBoxDebugAgentLib
    FILE_GUID       = A13AC320-4717-99C4-B7FF-53A7D84326B0
    MODULE_TYPE     = BASE
    VERSION_STRING  = 4.3
    LIBRARY_CLASS   = DebugAgentLib

[Sources.common]
    VBoxDebugAgentLib.c

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