From mboxrd@z Thu Jan  1 00:00:00 1970
From: David Craven <david@craven.ch>
Subject: Linux kernel
Date: Fri, 9 Sep 2016 00:45:13 +0200
Message-ID: <CAL1_imnOq6qkMwv1zKO8uR28qSwq59VZnwrxOE_S2nBQq5fSGw@mail.gmail.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Return-path: <guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org>
Received: from eggs.gnu.org ([2001:4830:134:3::10]:46442)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <david@craven.ch>) id 1bi84N-0005Vx-RZ
	for guix-devel@gnu.org; Thu, 08 Sep 2016 18:45:20 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <david@craven.ch>) id 1bi84K-0003KB-MF
	for guix-devel@gnu.org; Thu, 08 Sep 2016 18:45:19 -0400
Received: from mail-yw0-x242.google.com ([2607:f8b0:4002:c05::242]:35781)
	by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <david@craven.ch>) id 1bi84J-0003Jr-Fn
	for guix-devel@gnu.org; Thu, 08 Sep 2016 18:45:16 -0400
Received: by mail-yw0-x242.google.com with SMTP id u82so286660ywc.2
	for <guix-devel@gnu.org>; Thu, 08 Sep 2016 15:45:14 -0700 (PDT)
List-Id: "Development of GNU Guix and the GNU System distribution."
	<guix-devel.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/guix-devel>,
	<mailto:guix-devel-request@gnu.org?subject=unsubscribe>
List-Archive: <http://lists.gnu.org/archive/html/guix-devel/>
List-Post: <mailto:guix-devel@gnu.org>
List-Help: <mailto:guix-devel-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/guix-devel>,
	<mailto:guix-devel-request@gnu.org?subject=subscribe>
Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org
Sender: "Guix-devel" <guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org>
To: =?UTF-8?Q?Ludovic_Court=C3=A8s?= <ludo@gnu.org>, guix-devel <guix-devel@gnu.org>

I reworked the patches for the linux-libre package and made some other
improvements that make customizing the linux-libre package easier. I
tested that everything builds and that there wasn't any breakage on
x86_64, but testing the arm kernel on real hardware is a wip. Is it
easier if I push a branch? They're 17 small patches.

86fb6ee gnu: Add linux-libre-beagle-bone-black.
70d7e6d gnu: Add linux-libre-multi-v7.
8073e6e gnu: make-linux-libre: Add supported-systems option.
6be1f44 gnu: linux-libre: Use kmod.
dd9be2e gnu: make-linux-libre: Add zImage to output.
c4772da gnu: linux-libre: Add extra-version option.
089b957 gnu: linux-libre: Add make-linux-libre-source.
5508f0d gnu: Add u-boot-beagle-bone-black.
db2fc94 gnu: dtc: Remove patch-paths phase.
01c8d0a gnu: linux-libre: Add additional-configuration to make-linux-libre.
9ccf388 gnu: linux-libre: Use make-linux-libre.
86126ae gnu: linux-libre: Add support for cross-compilation.
2ef150b gnu: linux-libre: Move kernel configuration to configure phase.
4737e87 gnu: linux-libre: Apply %boot-logo patch in origin.
c55b169 gnu: linux-libre: Use system->architecture.
c456362 gnu: linux-libre: Use modify-phases.
95fe35a gnu: module-init-tools: Prevent line wrapping.

The interesting parts are shown here:

(define* (make-linux-libre version source supported-systems
                           #:key
                           (extra-version #f)
                           (configuration-file #f)
                           (defconfig "defconfig")
                           (additional-configuration
                            %default-additional-kernel-configuration))
  (package
    (name (if extra-version
              (string-append "linux-libre-" extra-version)
              "linux-libre"))


(define-public linux-libre
  (let* ((version "4.7.2")
         (hash "1rp09y2hv0hvdybm2n2im9717kzxmklpgzs8k1bmdfzqxyg8cb85")
         (conf (kernel-config
                (or (%current-target-system)
                    (%current-system))
                #:variant (version-major+minor version))))
    (make-linux-libre version
                      (make-linux-libre-source version hash)
                      '("x86_64-linux" "i686-linux")
                      #:configuration-file conf)))