# $Id$
## @file
# VBoxSysTables - VBox system tables.
#
#
# Copyright (C) 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 = VBoxSysTables
FILE_GUID = 3749CF40-9086-4488-BB8E-44C9400D260F
MODULE_TYPE = UEFI_DRIVER
VERSION_STRING = 1.0
# SUPPORTED_ARCHITECTURES = IA32|X64|IPF|EBC
EDK_RELEASE_VERSION = 0x00020000
EFI_SPECIFICATION_VERSION = 0x00020000
ENTRY_POINT = DxeInitializeVBoxSysTables
UNLOAD_IMAGE = DxeUninitializeVBoxSysTables
[Sources.common]
VBoxSysTables.c
TableConversion.c
[Packages]
MdePkg/MdePkg.dec
MdeModulePkg/MdeModulePkg.dec
IntelFrameworkPkg/IntelFrameworkPkg.dec
IntelFrameworkModulePkg/IntelFrameworkModulePkg.dec
VBoxPkg/VBoxPkg.dec
[LibraryClasses]
UefiRuntimeServicesTableLib
UefiBootServicesTableLib
MemoryAllocationLib
BaseMemoryLib
BaseLib
UefiLib
UefiDriverEntryPoint
DebugLib
PcdLib
DevicePathLib
[Guids]
gEfiSmbiosTableGuid
gEfiAcpiTableGuid
gEfiAcpi20TableGuid
gEfiProcessorSubClassGuid
gEfiMpsTableGuid
[Protocols]
gEfiDevicePathToTextProtocolGuid
[BuildOptions.common]
GCC:*_*_*_CC_FLAGS =
INTEL:*_*_*_CC_FLAGS =
MSFT:*_*_*_CC_FLAGS =