From: Wei Liu <wei.liu2@citrix.com>
Date: Fri, 20 Oct 2017 11:10:02 +0000 (+0100)
Subject: Config.mk: update mini-os changeset
X-Git-Tag: archive/raspbian/4.11.1-1+rpi1~1^2~66^2~1065
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=03dd1e2a5414faf86f743ae96c2b63dbc81f27f6;p=xen.git

Config.mk: update mini-os changeset

The new changeset contains the new console.h fix in xen.git.

Signed-off-by: Wei Liu <wei.liu2@citrix.com>
Release-acked-by: Julien Grall <julien.grall@linaro.org>
---

diff --git a/Config.mk b/Config.mk
index 78e8a2cc8a..664f97e726 100644
--- a/Config.mk
+++ b/Config.mk
@@ -274,9 +274,9 @@ MINIOS_UPSTREAM_URL ?= git://xenbits.xen.org/mini-os.git
 endif
 OVMF_UPSTREAM_REVISION ?= 947f3737abf65fda63f3ffd97fddfa6986986868
 QEMU_UPSTREAM_REVISION ?= qemu-xen-4.10.0-rc1
-MINIOS_UPSTREAM_REVISION ?= xen-4.10.0-rc1
-# Tue Oct 3 19:45:19 2017 +0100
-# Link against libxentoolcore
+MINIOS_UPSTREAM_REVISION ?= 0b4b7897e08b967a09bed2028a79fabff82342dd
+# Mon Oct 16 16:36:41 2017 +0100
+# Update Xen header files again
 
 SEABIOS_UPSTREAM_REVISION ?= rel-1.10.2
 # Wed Jun 22 14:53:24 2016 +0800