Fabio Fantoni 906677d641 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>

2013-09-09 14:48:51 +01:00

..

etherboot

autoconf: check for wget and ftp

2012-10-30 18:11:02 +00:00

hvmloader

tools: allow user to specify a system seabios binary

2013-09-09 14:48:51 +01:00

rombios

rombios/debug: Reduce verbosity of rombios

2013-08-08 12:03:24 +01:00

vgabios

vgabios: Make Windows 8 support greater resolutions

2012-05-07 13:39:27 +01:00

Makefile

tools: allow user to specify a system seabios binary

2013-09-09 14:48:51 +01:00

ovmf-makefile

tools/firmware: Fix ovmf build with gcc version different from 4.4

2013-03-25 12:37:03 +00:00

Rules.mk

tools: pass EXTRA_CFLAGS via environment

2012-06-07 18:51:42 +01:00

seabios-config

tools: Update to SeaBIOS 1.7.1

2013-01-17 13:53:14 +00:00