3
# VBoxPkg.dec - VirtualBox Package description.
7
# Copyright (C) 2009-2010 Sun Microsystems, Inc.
9
# This file is part of VirtualBox Open Source Edition (OSE), as
10
# available from http://www.virtualbox.org. This file is free software;
11
# you can redistribute it and/or modify it under the terms of the GNU
12
# General Public License (GPL) as published by the Free Software
13
# Foundation, in version 2 as it comes in the "COPYING" file of the
14
# VirtualBox OSE distribution. VirtualBox OSE is distributed in the
15
# hope that it will be useful, but WITHOUT ANY WARRANTY of any kind.
17
# The contents of this file may alternatively be used under the terms
18
# of the Common Development and Distribution License Version 1.0
19
# (CDDL) only, as it comes in the "COPYING.CDDL" file of the
20
# VirtualBox OSE distribution, in which case the provisions of the
21
# CDDL are applicable instead of those of the GPL.
23
# You may elect to license modified versions of this file under the
24
# terms and conditions of either the GPL or the CDDL or both.
26
# Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa
27
# Clara, CA 95054 USA or visit http://www.sun.com if you need
28
# additional information or have any questions.
32
DEC_SPECIFICATION = 0x00010005
33
PACKAGE_NAME = VBoxPkg
34
PACKAGE_GUID = D118A5AF-05C8-427E-8047-EF53092514B7
41
# gEfiPciExpressBaseAddressGuid = {0x3677d529, 0x326f, 0x4603, {0xa9, 0x26, 0xea, 0xac, 0xe0, 0x1d, 0xcb, 0xb0 }}
42
gEfiAcpiDescriptionGuid = {0x3c699197, 0x093c, 0x4c69, {0xb0, 0x6b, 0x12, 0x8a, 0xe3, 0x48, 0x1d, 0xc9 }}
43
# gEfiFlashMapHobGuid = { 0xb091e7d2, 0x5a0, 0x4198, {0x94, 0xf0, 0x74, 0xb7, 0xb8, 0xc5, 0x54, 0x59 }}
44
gVBoxVgaPkgTokenSpaceGuid = { 0xa3a8ce56, 0x4a07, 0x441f, {0xa3, 0xf5, 0x6f, 0x53, 0xdb, 0x9c, 0xb7, 0xd8}}
47
# Various types of Platform Configuration Database (PCD) items.
49
[PcdsFixedAtBuild.common]
50
gEfiMdeModulePkgTokenSpaceGuid.PcdFlashNvStorageVariableBase|0|UINT32|0x00001000
51
gEfiMdeModulePkgTokenSpaceGuid.PcdFlashNvStorageVariableSize|0|UINT32|0x00001001
52
gEfiMdeModulePkgTokenSpaceGuid.PcdFlashNvStorageFtwWorkingBase|0|UINT32|0x00001002
53
gEfiMdeModulePkgTokenSpaceGuid.PcdFlashNvStorageFtwWorkingSize|0|UINT32|0x00001003
54
gEfiMdeModulePkgTokenSpaceGuid.PcdFlashNvStorageFtwSpareBase|0|UINT32|0x00001004
55
gEfiMdeModulePkgTokenSpaceGuid.PcdFlashNvStorageFtwSpareSize|0|UINT32|0x00001005
57
## XXX - boot mode - gEfiNt32PkgTokenSpaceGuid.PcdWinNtBootMode|1|UINT32|0x00001006
59
# gEfiNt32PkgTokenSpaceGuid.PcdWinNtFlashFvRecoveryBase|0x0|UINT32|0x00001010
60
# gEfiNt32PkgTokenSpaceGuid.PcdWinNtFlashFvRecoverySize|0x0|UINT32|0x00001011
62
# gEfiNt32PkgTokenSpaceGuid.PcdWinNtFirmwareFdSize|0x0|UINT32|0x00001012
63
# gEfiNt32PkgTokenSpaceGuid.PcdWinNtFirmwareFdSize|0x0|UINT32|0x00001012
64
# gEfiNt32PkgTokenSpaceGuid.PcdWinNtFirmwareBlockSize|0|UINT32|0x00001013
66
# gEfiNt32PkgTokenSpaceGuid.PcdWinNtFlashNvStorageVariableBase|0x0|UINT32|0x00001014
67
# gEfiNt32PkgTokenSpaceGuid.PcdWinNtFlashNvStorageFtwSpareBase|0x0|UINT32|0x00001015
68
# gEfiNt32PkgTokenSpaceGuid.PcdWinNtFlashNvStorageFtwWorkingBase|0x0|UINT32|0x00001016
69
# gEfiNt32PkgTokenSpaceGuid.PcdWinNtFdBaseAddress|0x0|UINT32|0x00001017
74
[PcdsPatchableInModule.common]
75
## XXX - boot mode - gEfiNt32PkgTokenSpaceGuid.PcdWinNtBootMode|1|UINT32|0x00001006
76
[PcdsFeatureFlag.common]
77
gVBoxVgaPkgTokenSpaceGuid.PcdSupportGop|TRUE|BOOLEAN|0x00010004
78
gVBoxVgaPkgTokenSpaceGuid.PcdSupportUga|FALSE|BOOLEAN|0x00010005