1 | # EFI: build box configuration
|
---|
2 | #
|
---|
3 | [ -z "$VBOX_TREE" ] && VBOX_TREE=/home/vbox/tinderbox/efi/vbox
|
---|
4 | [ -z "$EDK_TREE" ] && EDK_TREE=/home/vbox/tinderbox/efi/edk2
|
---|
5 | FW_TARGET_DIR=/home/vbox/tinderbox/efi/vbox/out
|
---|
6 | EDK_REV=9481
|
---|
7 | #EDK_PATCHES="pmtimer pe bds apple no_blocking_partition"
|
---|
8 | EDK_PATCHES="pmtimer apple no_blocking_partition rtc ovmf_pei mem_acpi idtgdt memdetect pci_bridge"
|
---|
9 | EDK_PATCHES="$EDK_PATCHES r9699" # gcc x64 build fix todo: remove when EDK_REV reaches r9699
|
---|
10 | EDK_PATCHES="$EDK_PATCHES r9573" # gcc i386 build fix todo: remove when EDK_REV reaches r9573
|
---|
11 | X64_PETOOLS_PREFIX=/home/vbox/tools/bin/x86_64-w64-mingw32-
|
---|
12 | #EDK_TOOLS_PATCHES="base_tools_r1713_SL32"
|
---|
13 | #BUILD_LOG=/work/efi.log
|
---|
14 | KBUILD_TYPE=release
|
---|
15 | CLEAN_EFI=1
|
---|
16 | WITH_64=true
|
---|