Config.mk: Switch external trees to fixed tags for Xen 4.11.0-rc1

The minios tag `xen-4.11.0-rc1' was mistakenly made on the wrong
revision.  So we have burned that tag and use xen-4.11.0-rc1.1
instead.

Signed-off-by: Ian Jackson <Ian.Jackson@eu.citrix.com>

diff --git a/Config.mk b/Config.mk
index ae6b483e72c81360ee3d0093660e6645ecc0fae3..7e8ac219c96617d5d67167b5becdb5b77611ae52 100644 (file)
--- a/Config.mk
+++ b/Config.mk
@@ -275,17 +275,15 @@ SEABIOS_UPSTREAM_URL ?= git://xenbits.xen.org/seabios.git
 MINIOS_UPSTREAM_URL ?= git://xenbits.xen.org/mini-os.git
 endif
 OVMF_UPSTREAM_REVISION ?= 947f3737abf65fda63f3ffd97fddfa6986986868
-QEMU_UPSTREAM_REVISION ?= master
-MINIOS_UPSTREAM_REVISION ?= 0b4b7897e08b967a09bed2028a79fabff82342dd
-# Mon Oct 16 16:36:41 2017 +0100
-# Update Xen header files again
+QEMU_UPSTREAM_REVISION ?= qemu-xen-4.11.0-rc1
+MINIOS_UPSTREAM_REVISION ?= xen-4.11.0-rc1.1
 
 SEABIOS_UPSTREAM_REVISION ?= rel-1.11.1
 
 ETHERBOOT_NICS ?= rtl8139 8086100e
 
 
-QEMU_TRADITIONAL_REVISION ?= c8ea0457495342c417c3dc033bba25148b279f60
+QEMU_TRADITIONAL_REVISION ?= xen-4.11.0-rc1
 # Fri Sep 15 19:37:27 2017 +0100
 # qemu-xen-traditional: Link against xentoolcore