On 2020-04-03, Vagrant Cascadian wrote: > On 2020-04-03, Vagrant Cascadian wrote: >> Attached are the remaining patches to switch it to the default. > > At least, it is attached now... Ping? I think the patcset now needs some minor updates to apply to master, but just wondering when we could consider switching to 5.6... ? live well, vagrant > From c0200684371c8126b5b6579c16f8d71aa19ea44c Mon Sep 17 00:00:00 2001 > From: Vagrant Cascadian > Date: Fri, 3 Apr 2020 22:08:50 +0000 > Subject: [PATCH 1/2] gnu: linux-libre: Update to 5.6. > > * gnu/packages/linux (linux-libre-version, linux-libre-pristine-source, > linux-libre-source, linux-libre): Update to 5.6. > (linux-libre-arm-generic-5.4, linux-libre-arm-omap2plus-5.4, > linux-libre-arm64-generic-5.4, linux-libre-riscv64-generic-5.4, > linux-libre-arm64-generic-5.4): New variables. > (linux-libre-arm-generic-5.6, linux-libre-arm64-generic-5.6): Remove > obsolete variables. > * gnu/packages/aux-files/linux-libre/5.6-arm.conf: New file. > * gnu/packages/aux-files/linux-libre/5.6-arm64.conf: New file. > * gnu/packages/aux-files/linux-libre/5.6-i686.conf: New file. > * gnu/packages/aux-files/linux-libre/5.6-x86_64.conf: New file. > * Makefile.am (AUX_FILES): Update accordingly.