VirtualBox

source: vbox/trunk/src/VBox/Devices/EFI/efi_build.conf@ 44845

Last change on this file since 44845 was 43521, checked in by vboxsync, 12 years ago

EFI/build: returns ShellPkg_Library_UefiShellLevel3CommandsLib back.

  • Property svn:eol-style set to native
  • Property svn:keywords set to Author Date Id Revision
File size: 1.2 KB
Line 
1# $Id: efi_build.conf 43521 2012-10-03 01:32:23Z vboxsync $
2# EFI: build box configuration
3#
4# kick the build
5
6VBOX_BASE_EFI_DIR=/home/vbox/tinderbox/efi
7FW_TARGET_DIR=$VBOX_BASE_EFI_DIR/vbox/out
8EDK_REV=13361
9EDK_BRANCH=UDK2010.SR1
10VBOX_WITH_OVMF=1
11
12EDK_PATCHES="$EDK_PATCHES OvmfPkg_OvmfPkgIa32.dsc"
13EDK_PATCHES="$EDK_PATCHES OvmfPkg_OvmfPkgIa32.fdf"
14EDK_PATCHES="$EDK_PATCHES OvmfPkg_OvmfPkgX64.dsc"
15EDK_PATCHES="$EDK_PATCHES OvmfPkg_OvmfPkgX64.fdf"
16EDK_PATCHES="$EDK_PATCHES MdePkg_Include_Library_DebugLib.h"
17EDK_PATCHES="$EDK_PATCHES PcAtChipsetPkg_Bus_Pci_IdeControllerDxe_IdeController.c"
18EDK_PATCHES="$EDK_PATCHES MdePkg_Library_BaseIoLibIntrinsic_IoLibGcc.c"
19EDK_PATCHES="$EDK_PATCHES UefiCpuPkg_CpuDxe_CpuGdt.c"
20EDK_PATCHES="$EDK_PATCHES ShellPkg_Library_UefiShellLevel3CommandsLib"
21EDK_PATCHES="$EDK_PATCHES OvmfPkg_Library_PlatformBdsLib"
22EDK_PATCHES="$EDK_PATCHES IntelFrameworkModulePkg_Library_GenericBdsLib"
23
24# to -t parameter
25VBOX_TOOLCHAIN=GCC44
26EDK_BUILD_FLAGS="$EDK_BUILD_FLAGS -D VBOX_WITH_EDK2_REV=$EDK_REV "
27EDK_BUILD_FLAGS="$EDK_BUILD_FLAGS -D VBOX=1"
28EDK_BUILD_FLAGS="$EDK_BUILD_FLAGS -D VBOX_WITH_OVMF=1"
29EDK_BUILD_FLAGS="$EDK_BUILD_FLAGS -D BUILD_NEW_SHELL=1 "
30
31#BUILD_LOG=/work/efi.log
32KBUILD_TYPE=release
33CLEAN_EFI=1
34WITH_64=true
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