Add update script (#780)

This commit is contained in:
Pascal Vizeli
2020-07-21 18:06:07 +02:00
parent b9ba103e07
commit eca61d10a7
114 changed files with 1496 additions and 869 deletions

View File

@@ -4,7 +4,7 @@
#
################################################################################
XEN_VERSION = 4.13.0
XEN_VERSION = 4.13.1
XEN_SITE = https://downloads.xenproject.org/release/xen/$(XEN_VERSION)
XEN_LICENSE = GPL-2.0
XEN_LICENSE_FILES = COPYING