Re: [PATCH 15/17] gnu: make-linux-libre: Add supported-systems parameter.

[Ludovic Courtès]

David Craven <da...@craven.ch> skribis:

> * gnu/packages/linux.scm (make-linux-libre): Add supported-systems
>   parameter.

OK.

>      (make-linux-libre version
>                        (make-linux-libre-source version hash)
> +                      '("x86_64-linux" "i686-linux")

Maybe we should:

  (define %intel-compatible-systems
    '("x86_64-linux" "i686-linux"))

and use that everywhere?

Ludo’.