On Thu, May 16, 2019 at 04:29:56PM +0200, Marius Bakke wrote:
> Hi Efraim,
> 
> I just want to point out an (IMO) easier way to provide a custom kernel
> configuration, that does not involve the "make-linux-libre" procedure:
> 
> --8<---------------cut here---------------start------------->8---
> (define-public linux-libre/custom
>   (package
>     (inherit linux-libre)
>     (native-inputs
>      `(("kconfig" ,(local-file "kernel.config"))
>        ,@(alist-delete "kconfig"
>                        (package-native-inputs linux-libre))))))
> --8<---------------cut here---------------end--------------->8---
> 
> At the end of the day, Linux-Libre is just a regular package that can be
> inherited and overridden like any other :-)

I added that as an alternative way to use "just" a kconfig file.

-- 
Efraim Flashner   <efraim@flashner.co.il>   אפרים פלשנר
GPG key = A28B F40C 3E55 1372 662D  14F7 41AA E7DC CA3D 8351
Confidentiality cannot be guaranteed on emails sent or received unencrypted