| 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 | #VBOX_REV=53219
|
|---|
| 7 | EDK_REV=9332
|
|---|
| 8 | #EDK_PATCHES="pmtimer pe bds apple no_blocking_partition"
|
|---|
| 9 | EDK_PATCHES="pmtimer apple no_blocking_partition rtc ovmf_pei mem_acpi idtgdt memdetect"
|
|---|
| 10 | EDK_TOOLS_REV=1793
|
|---|
| 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
|
|---|
