# $Id: efi_build.conf 42910 2012-08-21 16:28:08Z vboxsync $
# EFI: build box configuration
#
[ -z "$VBOX_TREE" ] && VBOX_TREE=/home/vbox/tinderbox/efi/vbox
[ -z "$EDK_TREE" ] && EDK_TREE=/home/vbox/tinderbox/efi/EDK2/branches/UDK2010.SR1
FW_TARGET_DIR=/home/vbox/tinderbox/efi/vbox/out
EDK_REV=13361 
VBOX_WITH_OVMF=1

EDK_PATCHES="$EDK_PATCHES OvmfPkg_OvmfPkgIa32.dsc"
EDK_PATCHES="$EDK_PATCHES OvmfPkg_OvmfPkgIa32.fdf"
EDK_PATCHES="$EDK_PATCHES OvmfPkg_OvmfPkgX64.dsc"
EDK_PATCHES="$EDK_PATCHES OvmfPkg_OvmfPkgX64.fdf"
EDK_PATCHES="$EDK_PATCHES MdePkg_Include_Library_DebugLib.h"
EDK_PATCHES="$EDK_PATCHES PcAtChipsetPkg_Bus_Pci_IdeControllerDxe_IdeController.c"
EDK_PATCHES="$EDK_PATCHES MdePkg_Library_BaseIoLibIntrinsic_IoLibGcc.c"
EDK_PATCHES="$EDK_PATCHES UefiCpuPkg_CpuDxe_CpuGdt.c"
EDK_PATCHES="$EDK_PATCHES ShellPkg_Library_UefiShellLevel3CommandsLib"
# to -t parameter
VBOX_TOOLCHAIN=GCC44
EDK_BUILD_FLAGS="$EDK_BUILD_FLAGS -D VBOX_WITH_EDK2_REV=$EDK_REV "
EDK_BUILD_FLAGS="$EDK_BUILD_FLAGS -D VBOX=1"
EDK_BUILD_FLAGS="$EDK_BUILD_FLAGS -D VBOX_WITH_OVMF=1"
EDK_BUILD_FLAGS="$EDK_BUILD_FLAGS -D BUILD_NEW_SHELL=1 "

X64_PETOOLS_PREFIX=/home/vbox/tools/bin/x86_64-w64-mingw32-
#BUILD_LOG=/work/efi.log
KBUILD_TYPE=release
CLEAN_EFI=1
WITH_64=true