From: Wei Liu <wei.liu2@citrix.com>
Date: Wed, 4 May 2016 09:37:59 +0000 (+0100)
Subject: Config.mk: update mini-os revision
X-Git-Tag: archive/raspbian/4.8.0-1+rpi1~1^2~1167
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=68a003ef433fa1e1dad4dbeee33c05ef82a195d5;p=xen.git

Config.mk: update mini-os revision

This is only one commit:
    build: change MINI-OS_ROOT to MINIOS_ROOT

This change is required to fix stubdom build on Ubuntu 16.04.

Signed-off-by: Wei Liu <wei.liu2@citrix.com>
Acked-by: Jan Beulich <jbeulich@suse.com>
---

diff --git a/Config.mk b/Config.mk
index ddedeaab94..931df665ee 100644
--- a/Config.mk
+++ b/Config.mk
@@ -272,9 +272,9 @@ MINIOS_UPSTREAM_URL ?= git://xenbits.xen.org/mini-os.git
 endif
 OVMF_UPSTREAM_REVISION ?= 52a99493cce88a9d4ec8a02d7f1bd1a1001ce60d
 QEMU_UPSTREAM_REVISION ?= qemu-xen-4.7.0-rc1
-MINIOS_UPSTREAM_REVISION ?= e085b7e5613576601e2f100e6f1ee9e0778c3eb9
-# Sun Apr 10 00:46:32 2016 +0200
-# Fix time update
+MINIOS_UPSTREAM_REVISION ?= 4464673ccbfd12dcd0ec08cc29ca62cc12f6e61e
+# Mon May 2 13:55:00 2016 +0100
+# build: change MINI-OS_ROOT to MINIOS_ROOT
 
 SEABIOS_UPSTREAM_REVISION ?= rel-1.9.2
 # Tue, 1 Mar 2016 15:06:45 +0100 (16:06 +0200)