diff options
author | Fabio Fantoni <fabio.fantoni@m2r.biz> | 2013-09-05 12:40:01 +0200 |
---|---|---|
committer | Ian Campbell <ian.campbell@citrix.com> | 2013-09-09 14:48:51 +0100 |
commit | 906677d6411c3dc579e07967d0137a12392ff314 (patch) | |
tree | 677e839e210b259b38c4adc869d395da447e3d54 /tools/firmware | |
parent | 4d10a505c1eb6feb85292ab944c18e28f5583294 (diff) | |
download | xen-906677d6411c3dc579e07967d0137a12392ff314.tar.gz xen-906677d6411c3dc579e07967d0137a12392ff314.tar.bz2 xen-906677d6411c3dc579e07967d0137a12392ff314.zip |
tools: allow user to specify a system seabios binary
If this option is given don't bother building seabios ourselves.
Likely to be handy for distros who have an existing seabios
package which they want to reuse.
Signed-off-by: Fabio Fantoni <fabio.fantoni@m2r.biz>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
Diffstat (limited to 'tools/firmware')
-rw-r--r-- | tools/firmware/Makefile | 2 | ||||
-rw-r--r-- | tools/firmware/hvmloader/Makefile | 6 |
2 files changed, 7 insertions, 1 deletions
diff --git a/tools/firmware/Makefile b/tools/firmware/Makefile index aff8e564e9..f0647655e2 100644 --- a/tools/firmware/Makefile +++ b/tools/firmware/Makefile @@ -7,7 +7,9 @@ INST_DIR := $(DESTDIR)$(XENFIRMWAREDIR) SUBDIRS-y := SUBDIRS-$(CONFIG_OVMF) += ovmf +ifeq ($(SEABIOS_PATH),) SUBDIRS-$(CONFIG_SEABIOS) += seabios-dir +endif SUBDIRS-$(CONFIG_ROMBIOS) += rombios SUBDIRS-$(CONFIG_ROMBIOS) += vgabios SUBDIRS-$(CONFIG_ROMBIOS) += etherboot diff --git a/tools/firmware/hvmloader/Makefile b/tools/firmware/hvmloader/Makefile index c6e7376274..8ab1429ccc 100644 --- a/tools/firmware/hvmloader/Makefile +++ b/tools/firmware/hvmloader/Makefile @@ -70,7 +70,11 @@ endif ifeq ($(CONFIG_SEABIOS),y) OBJS += seabios.o CFLAGS += -DENABLE_SEABIOS -SEABIOS_ROM := $(SEABIOS_DIR)/out/bios.bin +ifeq ($(SEABIOS_PATH),) + SEABIOS_ROM := $(SEABIOS_DIR)/out/bios.bin +else + SEABIOS_ROM := $(SEABIOS_PATH) +endif ROMS += $(SEABIOS_ROM) endif |