LOCAL HACK: Use git cache.

diff --git a/.config b/.config
index a24310964a877761ea46f217cb13d2c81bb2845c..234c6501f8c75ac30a37c274a924733fe634b568 100644 (file)
--- a/.config
+++ b/.config
@@ -1,9 +1,11 @@
-MINIOS_UPSTREAM_URL := git://xenbits.xen.org/people/ianc/libxenctrl-split/mini-os.git
+MINIOS_UPSTREAM_URL := git://git-cache:9419/git://xenbits.xen.org/people/ianc/libxenctrl-split/mini-os.git
 MINIOS_UPSTREAM_REVISION := origin/vwip
 
-QEMU_TRADITIONAL_URL := git://xenbits.xen.org/people/ianc/libxenctrl-split/qemu-xen-traditional.git
+QEMU_TRADITIONAL_URL := git://git-cache:9419/git://xenbits.xen.org/people/ianc/libxenctrl-split/qemu-xen-traditional.git
 QEMU_TRADITIONAL_REVISION := origin/vwip
 
-QEMU_UPSTREAM_URL := git://xenbits.xen.org/people/ianc/libxenctrl-split/qemu-xen.git
+QEMU_UPSTREAM_URL := git://git-cache:9419/git://xenbits.xen.org/people/ianc/libxenctrl-split/qemu-xen.git
 QEMU_UPSTREAM_REVISION := origin/vwip
 
+OVMF_UPSTREAM_URL ?= git://git-cache:9419/git://xenbits.xen.org/ovmf.git
+SEABIOS_UPSTREAM_URL ?= git://git-cache:9419/git://xenbits.xen.org/seabios.git