VirtualBox

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

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

EFI/OVMF: adds patchces IntelFrameworkModulePkg_Library_GenericBdsLib and OvmfPkg_Library_PlatformBdsLib.

  • Property svn:eol-style set to native
  • Property svn:keywords set to Author Date Id Revision
File size: 1.3 KB
Line 
1# $Id: efi_build.conf 43326 2012-09-14 03:04:14Z vboxsync $
2# EFI: build box configuration
3#
4[ -z "$VBOX_TREE" ] && VBOX_TREE=/home/vbox/tinderbox/efi/vbox
5[ -z "$EDK_TREE" ] && EDK_TREE=/home/vbox/tinderbox/efi/EDK2/branches/UDK2010.SR1
6FW_TARGET_DIR=/home/vbox/tinderbox/efi/vbox/out
7EDK_REV=13361
8VBOX_WITH_OVMF=1
9
10EDK_PATCHES="$EDK_PATCHES OvmfPkg_OvmfPkgIa32.dsc"
11EDK_PATCHES="$EDK_PATCHES OvmfPkg_OvmfPkgIa32.fdf"
12EDK_PATCHES="$EDK_PATCHES OvmfPkg_OvmfPkgX64.dsc"
13EDK_PATCHES="$EDK_PATCHES OvmfPkg_OvmfPkgX64.fdf"
14EDK_PATCHES="$EDK_PATCHES MdePkg_Include_Library_DebugLib.h"
15EDK_PATCHES="$EDK_PATCHES PcAtChipsetPkg_Bus_Pci_IdeControllerDxe_IdeController.c"
16EDK_PATCHES="$EDK_PATCHES MdePkg_Library_BaseIoLibIntrinsic_IoLibGcc.c"
17EDK_PATCHES="$EDK_PATCHES UefiCpuPkg_CpuDxe_CpuGdt.c"
18EDK_PATCHES="$EDK_PATCHES ShellPkg_Library_UefiShellLevel3CommandsLib"
19EDK_PATCHES="$EDK_PATCHES OvmfPkg_Library_PlatformBdsLib"
20EDK_PATCHES="$EDK_PATCHES IntelFrameworkModulePkg_Library_GenericBdsLib"
21# to -t parameter
22VBOX_TOOLCHAIN=GCC44
23EDK_BUILD_FLAGS="$EDK_BUILD_FLAGS -D VBOX_WITH_EDK2_REV=$EDK_REV "
24EDK_BUILD_FLAGS="$EDK_BUILD_FLAGS -D VBOX=1"
25EDK_BUILD_FLAGS="$EDK_BUILD_FLAGS -D VBOX_WITH_OVMF=1"
26EDK_BUILD_FLAGS="$EDK_BUILD_FLAGS -D BUILD_NEW_SHELL=1 "
27
28X64_PETOOLS_PREFIX=/home/vbox/tools/bin/x86_64-w64-mingw32-
29#BUILD_LOG=/work/efi.log
30KBUILD_TYPE=release
31CLEAN_EFI=1
32WITH_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