Re: [PATCH 16/17] gnu: Add linux-libre-multi-v7.

[ludo@gnu.org (Ludovic Courtès)]

David Craven <david@craven.ch> skribis:

> * gnu/packages/linux.scm (linux-libre-multi-v7): New variable.
> ---
>  gnu/packages/linux.scm | 9 +++++++++
>  1 file changed, 9 insertions(+)
>
> diff --git a/gnu/packages/linux.scm b/gnu/packages/linux.scm
> index 384b674..2eadae2 100644
> --- a/gnu/packages/linux.scm
> +++ b/gnu/packages/linux.scm
> @@ -399,6 +399,15 @@ It has been modified to remove all non-free binary blobs.")
>                        '("x86_64-linux" "i686-linux")
>                        #:configuration-file conf)))
>  
> +(define-public linux-libre-multi-v7
> +  (let ((version "4.7.2")
> +        (hash "1rp09y2hv0hvdybm2n2im9717kzxmklpgzs8k1bmdfzqxyg8cb85"))
> +    (make-linux-libre version
> +                      (make-linux-libre-source version hash)
> +                      '("armhf-linux")
> +                      #:defconfig "multi_v7_defconfig"
> +                      #:extra-version "multi-v7")))

OK, but like Vincent, I find the name a little unclear.  Maybe
“armv7-multisomething”, but what would that “something” be?  :-)

Also, maybe ‘make-linux-libre’ should have default values for the
version and source, so that we don’t have to upgrade several variants
when a new 4.7.x release comes out?

Ludo’.