projects / xen.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4d10a50) | patch
tools: allow user to specify a system seabios binary
authorFabio Fantoni <fabio.fantoni@m2r.biz>
Thu, 5 Sep 2013 10:40:01 +0000 (12:40 +0200)
committerIan Campbell <ian.campbell@citrix.com>
Mon, 9 Sep 2013 13:48:51 +0000 (14:48 +0100)
commit906677d6411c3dc579e07967d0137a12392ff314
tree677e839e210b259b38c4adc869d395da447e3d54tree | snapshot
parent4d10a505c1eb6feb85292ab944c18e28f5583294commit | diff
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>
config/Tools.mk.in diff | blob | history
tools/configure diff | blob | history
tools/configure.ac diff | blob | history
tools/firmware/Makefile diff | blob | history
tools/firmware/hvmloader/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.