diff options
-rw-r--r-- | kernels/linux/HISTORY | 2 | ||||
-rwxr-xr-x | kernels/linux/info/patches/maintenance_patches_5/patch-5.1.7 | 5 | ||||
-rw-r--r-- | kernels/linux/latest.defaults | 2 |
3 files changed, 8 insertions, 1 deletions
diff --git a/kernels/linux/HISTORY b/kernels/linux/HISTORY index b637ccf823..3b770458ec 100644 --- a/kernels/linux/HISTORY +++ b/kernels/linux/HISTORY @@ -1,4 +1,6 @@ 2019-06-07 Pavel Vinogradov <public@sourcemage.org> + * latest.defaults: LATEST_maintenance_patches_5=patch-5.1.7 + * info/patches/maintenance_patches_5/patch-5.1.7: added * info/patches/maintenance_patches_5/patch-5.0.21: added 2019-06-07 Florian Franzmann <siflfran@hawo.stw.uni-erlangen.de> diff --git a/kernels/linux/info/patches/maintenance_patches_5/patch-5.1.7 b/kernels/linux/info/patches/maintenance_patches_5/patch-5.1.7 new file mode 100755 index 0000000000..df98b32fcd --- /dev/null +++ b/kernels/linux/info/patches/maintenance_patches_5/patch-5.1.7 @@ -0,0 +1,5 @@ +appliedkernels="5.1" +patchversion="${appliedkernels}.7" +source="patch-${patchversion}.xz" +source_url="${KERNEL_URL}/pub/linux/kernel/v5.x/${source}" +sha1sum="f95f2a74ddccdaa400bfc74befdd99498fd533dd" diff --git a/kernels/linux/latest.defaults b/kernels/linux/latest.defaults index 23e7049d36..1d9efc4622 100644 --- a/kernels/linux/latest.defaults +++ b/kernels/linux/latest.defaults @@ -3,4 +3,4 @@ LATEST_4=4.19 LATEST_3=3.19 LATEST_maintenance_patches_3=patch-3.19.3 LATEST_maintenance_patches_4=patch-4.19.48 -LATEST_maintenance_patches_5=patch-5.1.6 +LATEST_maintenance_patches_5=patch-5.1.7 |