On Sun, Mar 22, 2020 at 09:08:03PM -0700, Vagrant Cascadian wrote:
> From b0b7a8764f1c9cd7f680f55540ceb4d87c9def55 Mon Sep 17 00:00:00 2001
> From: Vagrant Cascadian <vagrant@debian.org>
> Date: Sat, 14 Mar 2020 18:54:50 -0700
> Subject: [PATCH 1/4] gnu: Add linux-libre 5.5.
> 
> * gnu/packages/linux (deblob-scripts-5.5): New variable.
>   (linux-libre-5.5-version): New variable.
>   (linux-libre-5.5-pristine-source): New variable.
>   (linux-libre-5.5-source): New variable.
>   (linux-libre-headers-5.5): New variable.
>   (linux-libre-5.5): New variable.

I generated Linux 5.7 kernel configuration files according to the advice
given by Mark and myself, and pushed as
843344273c6a587b8e6c84d8406500fd64d8908a