Last change
on this file since 44528 was 43521, checked in by vboxsync, 12 years ago |
EFI/build: returns ShellPkg_Library_UefiShellLevel3CommandsLib back.
|
-
Property svn:eol-style
set to
native
-
Property svn:keywords
set to
Author Date Id Revision
|
File size:
1.2 KB
|
Line | |
---|
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
|
---|
Note:
See
TracBrowser
for help on using the repository browser.