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