| 1 | # $Id: efi_build.conf 42736 2012-08-10 06:32:39Z 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
|
|---|
| 6 | FW_TARGET_DIR=/home/vbox/tinderbox/efi/vbox/out
|
|---|
| 7 | EDK_REV=13361
|
|---|
| 8 | VBOX_WITH_OVMF=1
|
|---|
| 9 |
|
|---|
| 10 | EDK_PATCHES="$EDK_PATCHES OvmfPkg_OvmfPkgIa32.dsc"
|
|---|
| 11 | EDK_PATCHES="$EDK_PATCHES OvmfPkg_OvmfPkgIa32.fdf"
|
|---|
| 12 | EDK_PATCHES="$EDK_PATCHES OvmfPkg_OvmfPkgX64.dsc"
|
|---|
| 13 | EDK_PATCHES="$EDK_PATCHES OvmfPkg_OvmfPkgX64.fdf"
|
|---|
| 14 | EDK_PATCHES="$EDK_PATCHES MdePkg_Include_Library_DebugLib.h"
|
|---|
| 15 | EDK_PATCHES="$EDK_PATCHES PcAtChipsetPkg_Bus_Pci_IdeControllerDxe_IdeController.c"
|
|---|
| 16 | EDK_PATCHES="$EDK_PATCHES MdePkg_Library_BaseIoLibIntrinsic_IoLibGcc.c"
|
|---|
| 17 | # to -t parameter
|
|---|
| 18 | VBOX_TOOLCHAIN=GCC44
|
|---|
| 19 | EDK_BUILD_FLAGS="$EDK_BUILD_FLAGS -D VBOX_WITH_EDK2_REV=$EDK_REV "
|
|---|
| 20 | EDK_BUILD_FLAGS="$EDK_BUILD_FLAGS -D VBOX=1"
|
|---|
| 21 | EDK_BUILD_FLAGS="$EDK_BUILD_FLAGS -D VBOX_WITH_OVMF=1"
|
|---|
| 22 | EDK_BUILD_FLAGS="$EDK_BUILD_FLAGS -D BUILD_NEW_SHELL=1 "
|
|---|
| 23 |
|
|---|
| 24 | X64_PETOOLS_PREFIX=/home/vbox/tools/bin/x86_64-w64-mingw32-
|
|---|
| 25 | #BUILD_LOG=/work/efi.log
|
|---|
| 26 | KBUILD_TYPE=debug
|
|---|
| 27 | CLEAN_EFI=1
|
|---|
| 28 | WITH_64=true
|
|---|
