VirtualBox

source: vbox/trunk/src/VBox/Devices/EFI/Firmware/IntelFrameworkPkg/IntelFrameworkPkg.dsc@ 58459

Last change on this file since 58459 was 58459, checked in by vboxsync, 9 years ago

EFI/Firmware: 'svn merge /vendor/edk2/UDK2010.SR1 /vendor/edk2/current .', reverting and removing files+dirs listed in ReadMe.vbox, resolving conflicts with help from ../UDK2014.SP1/. This is a raw untested merge.

  • Property svn:eol-style set to native
File size: 3.4 KB
Line 
1## @file
2# Intel Framework Package Reference Implementations
3#
4# This DSC file is used for Package Level build.
5#
6# Copyright (c) 2007 - 2014, Intel Corporation. All rights reserved.<BR>
7#
8# This program and the accompanying materials
9# are licensed and made available under the terms and conditions of the BSD License
10# which accompanies this distribution. The full text of the license may be found at
11# http://opensource.org/licenses/bsd-license.php
12#
13# THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
14# WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
15#
16##
17
18################################################################################
19#
20# Defines Section - statements that will be processed to create a Makefile.
21#
22################################################################################
23[Defines]
24 PLATFORM_NAME = IntelFramework
25 PLATFORM_GUID = E76EB141-6EDB-43f3-A455-EF24A79673DD
26 PLATFORM_VERSION = 0.94
27 DSC_SPECIFICATION = 0x00010005
28 OUTPUT_DIRECTORY = Build/IntelFramework
29 SUPPORTED_ARCHITECTURES = IA32|IPF|X64|EBC|ARM
30 BUILD_TARGETS = DEBUG|RELEASE
31 SKUID_IDENTIFIER = DEFAULT
32
33################################################################################
34#
35# Pcd Section - list of all EDK II PCD Entries defined by this Platform
36#
37################################################################################
38[PcdsFixedAtBuild]
39 gEfiMdePkgTokenSpaceGuid.PcdDebugPropertyMask|0x0f
40
41[PcdsPatchableInModule]
42 gEfiMdePkgTokenSpaceGuid.PcdDebugPrintErrorLevel|0x80000000
43
44[PcdsFeatureFlag]
45 gEfiMdePkgTokenSpaceGuid.PcdComponentNameDisable|FALSE
46 gEfiMdePkgTokenSpaceGuid.PcdDriverDiagnosticsDisable|FALSE
47
48###################################################################################################
49#
50# Components Section - list of the modules and components that will be processed by compilation
51# tools and the EDK II tools to generate PE32/PE32+/Coff image files.
52#
53# Note: The EDK II DSC file is not used to specify how compiled binary images get placed
54# into firmware volume images. This section is just a list of modules to compile from
55# source into UEFI-compliant binaries.
56# It is the FDF file that contains information on combining binary files into firmware
57# volume images, whose concept is beyond UEFI and is described in PI specification.
58# Binary modules do not need to be listed in this section, as they should be
59# specified in the FDF file. For example: Shell binary (Shell_Full.efi), FAT binary (Fat.efi),
60# Logo (Logo.bmp), and etc.
61# There may also be modules listed in this section that are not required in the FDF file,
62# When a module listed here is excluded from FDF file, then UEFI-compliant binary will be
63# generated for it, but the binary will not be put into any firmware volume.
64#
65###################################################################################################
66[Components]
67 IntelFrameworkPkg/Library/DxeIoLibCpuIo/DxeIoLibCpuIo.inf
68 IntelFrameworkPkg/Library/FrameworkUefiLib/FrameworkUefiLib.inf
69 IntelFrameworkPkg/Library/DxeSmmDriverEntryPoint/DxeSmmDriverEntryPoint.inf
70 IntelFrameworkPkg/Library/PeiSmbusLibSmbusPpi/PeiSmbusLibSmbusPpi.inf
71 IntelFrameworkPkg/Library/PeiHobLibFramework/PeiHobLibFramework.inf
72
Note: See TracBrowser for help on using the repository browser.

© 2024 Oracle Support Privacy / Do Not Sell My Info Terms of Use Trademark Policy Automated Access Etiquette