From: Wei Liu <wei.liu2@citrix.com>
Date: Wed, 9 Aug 2017 13:04:33 +0000 (+0100)
Subject: Config.mk: update mini-os changeset
X-Git-Tag: archive/raspbian/4.11.1-1+rpi1~1^2~66^2~1714
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=f5c3e78b5c61e7dfb05749c7a0c862ec18c86384;p=xen.git

Config.mk: update mini-os changeset

Pull in the change to fix stubdom build with gcc 7.

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

diff --git a/Config.mk b/Config.mk
index dc2b05291f..1bc922e1a4 100644
--- a/Config.mk
+++ b/Config.mk
@@ -269,9 +269,9 @@ MINIOS_UPSTREAM_URL ?= git://xenbits.xen.org/mini-os.git
 endif
 OVMF_UPSTREAM_REVISION ?= 5920a9d16b1ab887c2858224316a98e961d71b05
 QEMU_UPSTREAM_REVISION ?= master
-MINIOS_UPSTREAM_REVISION ?= b79102880596058660b690b19afa7ccd5dbae261
-# Sun, 25 Jun 2017 23:02:09 +0100 (23:02 +0100)
-# mini-os: add declaration of cfmakeraw
+MINIOS_UPSTREAM_REVISION ?= d991bdbc062248221511ecb795617c36b37e1d2e
+# Wed Aug 9 13:15:48 2017 +0100
+# lib/math.c: implement __udivmoddi4
 
 SEABIOS_UPSTREAM_REVISION ?= rel-1.10.2
 # Wed Jun 22 14:53:24 2016 +0800