From: Wei Liu <wei.liu2@citrix.com>
Date: Wed, 4 Oct 2017 14:00:31 +0000 (+0100)
Subject: Config.mk: update mini-os changeset
X-Git-Tag: archive/raspbian/4.11.1-1+rpi1~1^2~66^2~1236
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=0b0ca65b54ecc7ec90805e2a33879e78104d9f08;p=xen.git

Config.mk: update mini-os changeset

It contains build fix for stubdom.

Signed-off-by: Wei Liu <wei.liu2@citrix.com>
---

diff --git a/Config.mk b/Config.mk
index 57d3e2bc44..54f2382335 100644
--- a/Config.mk
+++ b/Config.mk
@@ -274,7 +274,7 @@ MINIOS_UPSTREAM_URL ?= git://xenbits.xen.org/mini-os.git
 endif
 OVMF_UPSTREAM_REVISION ?= 947f3737abf65fda63f3ffd97fddfa6986986868
 QEMU_UPSTREAM_REVISION ?= master
-MINIOS_UPSTREAM_REVISION ?= d991bdbc062248221511ecb795617c36b37e1d2e
+MINIOS_UPSTREAM_REVISION ?= 1fb40dd678f1afd0b7e1a5c37b7c5e54547e7ae3
 # Wed Aug 9 13:15:48 2017 +0100
 # lib/math.c: implement __udivmoddi4