GNU bug report logs - #35888
[PATCH] gnu: Use make-linux-libre-headers.

Previous Next

Full log

Message #8 received at 35888 <at> debbugs.gnu.org (full text, mbox):

From: Carl Dong <accounts <at> carldong.me>
To: "35888 <at> debbugs.gnu.org" <35888 <at> debbugs.gnu.org>
Subject: Re:  [PATCH] gnu: Use make-linux-libre-headers.
Date: Fri, 24 May 2019 22:05:18 +0000

To give a bit more context to this that I explained over IRC to rekado, 4.15 is
the lowest kernel version that is required for riscv64 support (which I have
locally but am upstreaming bit-by-bit). I tested make-linux-libre-headers with
the rest of the already declared kernel versions and they build fine, but feel
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 this
can avoid triggering massive rebuilds.

Cheers,
Carl Dong
accounts <at> carldong.me
"I fight for the users"

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.