From 86b47ba3ee8c48e6a132b97c2a2c1d505963110e Mon Sep 17 00:00:00 2001 From: Julian Pidancet Date: Mon, 13 Feb 2012 12:50:46 +0000 Subject: firmware: Introduce CONFIG_ROMBIOS and CONFIG_SEABIOS options This patch introduces configuration options allowing to built either a rombios only or a seabios only hvmloader. Building option ROMs like vgabios or etherboot is only enabled for a rombios hvmloader, since SeaBIOS takes care or extracting option ROMs itself from the PCI devices (these option ROMs are provided by the device model and do not need to be built in hvmloader). The Makefile in tools/firmware/ now only checks for bcc if rombios is enabled. These two configuration options are left on by default to remain compatible. Signed-off-by: Julian Pidancet Acked-by: Ian Campbell --- Config.mk | 3 +++ 1 file changed, 3 insertions(+) (limited to 'Config.mk') diff --git a/Config.mk b/Config.mk index 42508b88ee..a43596c95c 100644 --- a/Config.mk +++ b/Config.mk @@ -224,6 +224,9 @@ SEABIOS_UPSTREAM_TAG ?= rel-1.6.3.1 ETHERBOOT_NICS ?= rtl8139 8086100e +CONFIG_ROMBIOS ?= y +CONFIG_SEABIOS ?= y + # Specify which qemu-dm to use. This may be `ioemu' to use the old # Mercurial in-tree version, or a local directory, or a git URL. # CONFIG_QEMU ?= `pwd`/$(XEN_ROOT)/../qemu-xen.git -- cgit v1.2.3