VirtualBox

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

Last change on this file since 43503 was 43503, checked in by vboxsync, 13 years ago

EFI/build: kick

  • 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 43503 2012-10-02 05:15:01Z 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"
20# XXX: temporally disable this patch.
21#EDK_PATCHES="$EDK_PATCHES ShellPkg_Library_UefiShellLevel3CommandsLib"
22EDK_PATCHES="$EDK_PATCHES OvmfPkg_Library_PlatformBdsLib"
23EDK_PATCHES="$EDK_PATCHES IntelFrameworkModulePkg_Library_GenericBdsLib"
24
25# to -t parameter
26VBOX_TOOLCHAIN=GCC44
27EDK_BUILD_FLAGS="$EDK_BUILD_FLAGS -D VBOX_WITH_EDK2_REV=$EDK_REV "
28EDK_BUILD_FLAGS="$EDK_BUILD_FLAGS -D VBOX=1"
29EDK_BUILD_FLAGS="$EDK_BUILD_FLAGS -D VBOX_WITH_OVMF=1"
30EDK_BUILD_FLAGS="$EDK_BUILD_FLAGS -D BUILD_NEW_SHELL=1 "
31
32#BUILD_LOG=/work/efi.log
33KBUILD_TYPE=release
34CLEAN_EFI=1
35WITH_64=true
Note: See TracBrowser for help on using the repository browser.

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