From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([209.51.188.92]:44341) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1hUIKF-0003QN-WB for guix-patches@gnu.org; Fri, 24 May 2019 18:06:08 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1hUIKD-0007Jf-8W for guix-patches@gnu.org; Fri, 24 May 2019 18:06:07 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:33970) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1hUIKA-0007I1-2B for guix-patches@gnu.org; Fri, 24 May 2019 18:06:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1hUIK9-00064v-Qg for guix-patches@gnu.org; Fri, 24 May 2019 18:06:01 -0400 Subject: [bug#35888] [PATCH] gnu: Use make-linux-libre-headers. References: In-Reply-To: Resent-Message-ID: Date: Fri, 24 May 2019 22:05:18 +0000 From: Carl Dong Message-ID: MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Reply-To: Carl Dong Errors-To: guix-patches-bounces+kyle=kyleam.com@gnu.org Sender: "Guix-patches" To: "35888@debbugs.gnu.org" <35888@debbugs.gnu.org> To give a bit more context to this that I explained over IRC to rekado, 4.1= 5 is the lowest kernel version that is required for riscv64 support (which I hav= e locally but am upstreaming bit-by-bit). I tested make-linux-libre-headers w= ith the rest of the already declared kernel versions and they build fine, but f= eel free to remove them :-) Note that unlike my conversation with rekado, I am not bumping the default linux-libre-headers here (see how it is -4.14.67 not just -4.14), just so t= his can avoid triggering massive rebuilds. Cheers, Carl Dong accounts@carldong.me "I fight for the users"