Re: [Xen-devel] Re: [PATCH v5 4/4] Clone and build Seabios by default

[Stefano Stabellini <stefano.stabellini@xxxxxxxxxxxxx>]

On Thu, 22 Sep 2011, Anthony PERARD wrote:
> On Wed, Sep 21, 2011 at 12:00, Ian Campbell <Ian.Campbell@xxxxxxxxxxxxx> 
> wrote:
> > On Wed, 2011-09-21 at 10:55 +0100, stefano.stabellini@xxxxxxxxxxxxx
> > wrote:
> >> Signed-off-by: Stefano Stabellini <stefano.stabellini@xxxxxxxxxxxxx>
> >>
> >> diff -r 9832a4edea7f .hgignore
> >> --- a/.hgignore       Thu Sep 15 14:25:11 2011 +0000
> >> +++ b/.hgignore       Thu Sep 15 14:37:33 2011 +0000
> >> @@ -295,6 +295,8 @@
> >>  ^tools/qemu-xen-traditional-dir$
> >>  ^tools/qemu-xen-dir-remote
> >>  ^tools/qemu-xen-dir$
> >> +^tools/tools/firmware/seabios-dir-remote
> >> +^tools/tools/firmware/seabios-dir$
> >>  ^tools/ocaml/.*/.*\.annot$
> >>  ^tools/ocaml/.*/.*\.cmx?a$
> >>  ^tools/ocaml/.*/META$
> >> diff -r 9832a4edea7f Config.mk
> >> --- a/Config.mk       Thu Sep 15 14:25:11 2011 +0000
> >> +++ b/Config.mk       Thu Sep 15 14:37:33 2011 +0000
> >> @@ -199,6 +199,8 @@ else
> >>  QEMU_UPSTREAM_URL ?= 
> >> git://xenbits.xensource.com/qemu-upstream-unstable.git
> >>  endif
> >>  QEMU_UPSTREAM_TAG ?= 6dd84c71dff047f9e492d67e7c99928d09202760
> >> +SEABIOS_UPSTREAM_URL ?= git://git.qemu.org/seabios.git
> >
> > I use git://git.seabios.org/seabios.git but I don't suppose there is
> > much distinction?
> >
> > More importantly does anyone know of an http mirror?
> 
> I found this one:
> http://git.qemu.org/git/seabios.git

Good, I am going to add it.

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-devel