From: ludo@gnu.org (Ludovic Courtès)
To: David Craven <david@craven.ch>
Cc: guix-devel <guix-devel@gnu.org>
Subject: Re: Linux kernel
Date: Sat, 10 Sep 2016 00:26:59 +0200 [thread overview]
Message-ID: <87eg4sr9os.fsf@gnu.org> (raw)
In-Reply-To: <CAL1_imnOq6qkMwv1zKO8uR28qSwq59VZnwrxOE_S2nBQq5fSGw@mail.gmail.com> (David Craven's message of "Fri, 9 Sep 2016 00:45:13 +0200")
David Craven <david@craven.ch> skribis:
> 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.
Seems we already discussed some of these, no?
Anyway, I’m fine with you sending the remaining patches with ‘git
send-email’; it makes it easier to comment on the code for me.
> 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")
^
Nitpick: Use ‘base32’ here, rather than in the callee (that way, base32
parsing happens at compile time and errors are detected early.)
Ludo’.
next prev parent reply other threads:[~2016-09-09 22:27 UTC|newest]
Thread overview: 40+ messages / expand[flat|nested] mbox.gz Atom feed top
2016-09-08 22:45 Linux kernel David Craven
2016-09-09 1:36 ` Leo Famulari
2016-09-09 12:34 ` [PATCH 01/17] gnu: module-init-tools: Prevent line wrapping David Craven
2016-09-09 12:34 ` [PATCH 02/17] gnu: linux-libre: Use modify-phases David Craven
2016-09-09 12:34 ` [PATCH 03/17] gnu: linux-libre: Use system->architecture David Craven
2016-09-09 12:34 ` [PATCH 04/17] gnu: linux-libre: Apply %boot-logo patch in origin David Craven
2016-09-11 20:57 ` Ludovic Courtès
2016-09-09 12:34 ` [PATCH 05/17] gnu: linux-libre: Move kernel configuration to configure phase David Craven
2016-09-11 20:57 ` Ludovic Courtès
2016-09-09 12:34 ` [PATCH 06/17] gnu: linux-libre: Add support for cross-compilation David Craven
2016-09-11 20:58 ` Ludovic Courtès
2016-09-09 12:34 ` [PATCH 07/17] gnu: linux-libre: Use make-linux-libre David Craven
2016-09-11 21:07 ` Ludovic Courtès
2016-09-09 12:34 ` [PATCH 08/17] gnu: make-linux-libre: Add additional-configuration parameter David Craven
2016-09-11 21:13 ` Ludovic Courtès
2016-09-09 12:34 ` [PATCH 09/17] gnu: dtc: Remove patch-paths phase David Craven
2016-09-11 21:14 ` Ludovic Courtès
2016-09-09 12:34 ` [PATCH 10/17] gnu: Add u-boot-beagle-bone-black David Craven
2016-09-11 21:16 ` Ludovic Courtès
2016-09-09 12:34 ` [PATCH 11/17] gnu: Add make-linux-libre-source David Craven
2016-09-11 21:21 ` Ludovic Courtès
2016-09-11 21:23 ` Ludovic Courtès
2016-09-09 12:34 ` [PATCH 12/17] gnu: make-linux-libre: Add extra-version parameter David Craven
2016-09-11 21:32 ` Ludovic Courtès
2016-09-09 12:34 ` [PATCH 13/17] gnu: make-linux-libre: Add zImage to output David Craven
2016-09-11 21:24 ` Ludovic Courtès
2016-09-12 6:59 ` Danny Milosavljevic
2016-09-12 7:46 ` David Craven
2016-09-09 12:34 ` [PATCH 14/17] gnu: linux-libre: Use kmod David Craven
2016-09-11 21:25 ` Ludovic Courtès
2016-09-09 12:34 ` [PATCH 15/17] gnu: make-linux-libre: Add supported-systems parameter David Craven
2016-09-11 21:28 ` Ludovic Courtès
2016-09-09 12:34 ` [PATCH 16/17] gnu: Add linux-libre-multi-v7 David Craven
2016-09-09 14:31 ` Vincent Legoll
2016-09-11 21:30 ` Ludovic Courtès
2016-09-09 12:34 ` [PATCH 17/17] gnu: Add linux-libre-beagle-bone-black David Craven
2016-09-11 21:33 ` Ludovic Courtès
2016-09-09 22:26 ` Ludovic Courtès [this message]
2016-09-09 22:48 ` Linux kernel David Craven
2016-09-10 12:57 ` Ludovic Courtès
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=87eg4sr9os.fsf@gnu.org \
--to=ludo@gnu.org \
--cc=david@craven.ch \
--cc=guix-devel@gnu.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
Code repositories for project(s) associated with this external index
https://git.savannah.gnu.org/cgit/guix.git
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.