Re: 01/01: gnu: Use make-linux-libre-headers.

[Mark H Weaver <mhw@netris.org>]

Hi Danny,

Danny Milosavljevic <dannym@scratchpost.org> writes:

>> I think we should not add linux-libre-4.15, because that version of
>> Linux-libre is no longer supported upstream, and therefore will have
>> well-known security flaws.
>
> OK with me to remove.
>
> The headers were from 4.14.67 (and still are), though.  So we'll have
> headers which we don't have a Linux kernel for.  (Since those change
> very rarely, that's not such a big deal)

Hmm, I don't understand.  What do the 4.14.x headers have to do with
4.15, which is the version I'm suggesting to delete?

>> Also, this removes the definition of 'linux-libre', which I, for one,
>> reference from my OS config and maybe others do as well.  Sometimes it's
>> useful to break compatibility, but in this case I see no reason for it.
>
> It doesn't.  I think I messed up the commit *message*, but there is a
> definition of linux-libre still (as before).

Indeed, you're right about this, my mistake.

     Thanks,
       Mark