update Xen version to 4.13.4

diff --git a/Config.mk b/Config.mk
index 53f2fa76e47ca76cc87b80dcf25370577b0e7d78..da96fe34cd9e2c6e82c89a49eb4e0b6a7fc22440 100644 (file)
--- a/Config.mk
+++ b/Config.mk
@@ -288,15 +288,15 @@ SEABIOS_UPSTREAM_URL ?= git://xenbits.xen.org/seabios.git
 MINIOS_UPSTREAM_URL ?= git://xenbits.xen.org/mini-os.git
 endif
 OVMF_UPSTREAM_REVISION ?= 20d2e5a125e34fc8501026613a71549b2a1a3e54
-QEMU_UPSTREAM_REVISION ?= qemu-xen-4.13.3
-MINIOS_UPSTREAM_REVISION ?= xen-RELEASE-4.13.3
+QEMU_UPSTREAM_REVISION ?= qemu-xen-4.13.4
+MINIOS_UPSTREAM_REVISION ?= xen-RELEASE-4.13.4
 
 SEABIOS_UPSTREAM_REVISION ?= rel-1.12.1
 
 ETHERBOOT_NICS ?= rtl8139 8086100e
 
 
-QEMU_TRADITIONAL_REVISION ?= xen-4.13.3
+QEMU_TRADITIONAL_REVISION ?= xen-4.13.4
 # Wed Oct 10 18:52:54 2018 +0000
 # xen/pt: allow QEMU to request MSI unmasking at bind time
 

diff --git a/xen/Makefile b/xen/Makefile
index ef1d388efee8e7484771da2c3be3b1ac6305cefa..f88e068559bb86fc72f79eaa11cacda95fa2a835 100644 (file)
--- a/xen/Makefile
+++ b/xen/Makefile
@@ -2,7 +2,7 @@
 # All other places this is stored (eg. compile.h) should be autogenerated.
 export XEN_VERSION       = 4
 export XEN_SUBVERSION    = 13
-export XEN_EXTRAVERSION ?= .4-pre$(XEN_VENDORVERSION)
+export XEN_EXTRAVERSION ?= .4$(XEN_VENDORVERSION)
 export XEN_FULLVERSION   = $(XEN_VERSION).$(XEN_SUBVERSION)$(XEN_EXTRAVERSION)
 -include xen-version