unofficial mirror of guix-patches@gnu.org 
 help / color / mirror / code / Atom feed
From: Danny Milosavljevic <dannym@scratchpost.org>
To: 37466@debbugs.gnu.org
Subject: [bug#37466] [WIP v2 0/7] Add heads.
Date: Tue, 24 Sep 2019 16:01:50 +0200	[thread overview]
Message-ID: <20190924140157.23564-1-dannym@scratchpost.org> (raw)
In-Reply-To: <20190920010248.28082-1-dannym@scratchpost.org>

This adds heads to Guix.  Heads is minimal Linux that runs as a coreboot or
LinuxBoot payload to provide a secure, flexible boot environment for laptops
and servers.

Heads uses checksums to make sure that all the components are what they are
supposed to be, at build time, at BOOT time and when resuming.

Therefore, it's difficult to replace stuff with our versions.
I'm not sure whether we should--since Heads is supposed to build the same
thing reproducibly everywhere.

A future version will be a variant which does replace Linux by Linux-libre,
but that also changes both the source hashes and the output (and thus the
output hashes).

Danny Milosavljevic (7):
  gnu: Add musl-cross.
  gnu: Add heads.
  gnu: Add heads-linuxboot.
  gnu: Add heads-qemu-linuxboot.
  gnu: Add heads-coreboot.
  gnu: Add heads-qemu-coreboot.
  gnu: Add heads-kgpe-d16.

 gnu/local.mk                                  |   2 +
 gnu/packages/heads.scm                        | 607 ++++++++++++++++++
 .../patches/heads-make-environment.patch      | 446 +++++++++++++
 3 files changed, 1055 insertions(+)
 create mode 100644 gnu/packages/heads.scm
 create mode 100644 gnu/packages/patches/heads-make-environment.patch

  parent reply	other threads:[~2019-09-24 14:41 UTC|newest]

Thread overview: 58+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2019-09-20  1:02 [bug#37466] [PATCH 0/4] Add heads Danny Milosavljevic
2019-09-20  7:31 ` [bug#37466] [PATCH 1/4] gnu: Add musl-cross Danny Milosavljevic
2019-09-20  7:31   ` [bug#37466] [PATCH 2/4] gnu: Add heads Danny Milosavljevic
2019-09-20 12:05     ` Björn Höfling
2019-09-20 13:49       ` Danny Milosavljevic
2019-09-20 14:45         ` Julien Lepiller
2019-09-24 14:40         ` Danny Milosavljevic
2019-09-24 14:41           ` Danny Milosavljevic
2019-09-25  0:24             ` Danny Milosavljevic
2019-09-20  7:31   ` [bug#37466] [PATCH 3/4] gnu: Add heads-linuxboot Danny Milosavljevic
2019-09-20  7:31   ` [bug#37466] [PATCH 4/4] gnu: Add heads-qemu-linuxboot Danny Milosavljevic
2019-09-24 14:01 ` Danny Milosavljevic [this message]
2019-09-24 14:01   ` [bug#37466] [WIP v2 1/7] gnu: Add musl-cross Danny Milosavljevic
2019-09-24 14:01   ` [bug#37466] [WIP v2 2/7] gnu: Add heads Danny Milosavljevic
2019-09-24 14:01   ` [bug#37466] [WIP v2 3/7] gnu: Add heads-linuxboot Danny Milosavljevic
2019-09-24 14:01   ` [bug#37466] [WIP v2 4/7] gnu: Add heads-qemu-linuxboot Danny Milosavljevic
2019-09-24 14:01   ` [bug#37466] [WIP v2 5/7] gnu: Add heads-coreboot Danny Milosavljevic
2019-09-24 14:01   ` [bug#37466] [WIP v2 6/7] gnu: Add heads-qemu-coreboot Danny Milosavljevic
2019-09-24 14:01   ` [bug#37466] [WIP v2 7/7] gnu: Add heads-kgpe-d16 Danny Milosavljevic
2019-09-29 11:07   ` [bug#37466] [WIP v3 0/7] Add heads Danny Milosavljevic
2019-09-29 11:07     ` [bug#37466] [WIP v3 1/7] gnu: Add musl-cross Danny Milosavljevic
2019-09-29 11:07     ` [bug#37466] [WIP v3 2/7] gnu: Add heads Danny Milosavljevic
2019-09-29 11:07     ` [bug#37466] [WIP v3 3/7] gnu: Add heads-linuxboot Danny Milosavljevic
2019-09-29 11:07     ` [bug#37466] [WIP v3 4/7] gnu: Add heads-qemu-linuxboot Danny Milosavljevic
2019-09-29 11:07     ` [bug#37466] [WIP v3 5/7] gnu: Add heads-coreboot Danny Milosavljevic
2019-09-29 11:07     ` [bug#37466] [WIP v3 6/7] gnu: Add heads-qemu-coreboot Danny Milosavljevic
2019-09-29 11:07     ` [bug#37466] [WIP v3 7/7] gnu: Add heads-kgpe-d16 Danny Milosavljevic
2019-10-02 21:15     ` [bug#37466] [WIP v4 0/7] Add heads Danny Milosavljevic
2019-10-02 21:15       ` [bug#37466] [WIP v4 1/7] gnu: Add musl-cross Danny Milosavljevic
2019-10-07 13:50         ` Danny Milosavljevic
2020-05-02 15:52           ` Danny Milosavljevic
2019-10-02 21:15       ` [bug#37466] [WIP v4 2/7] gnu: Add heads Danny Milosavljevic
2019-10-02 21:15       ` [bug#37466] [WIP v4 3/7] gnu: Add heads-linuxboot Danny Milosavljevic
2019-10-02 21:15       ` [bug#37466] [WIP v4 4/7] gnu: Add heads-qemu-linuxboot Danny Milosavljevic
2019-10-02 21:16       ` [bug#37466] [WIP v4 5/7] gnu: Add heads-coreboot Danny Milosavljevic
2019-10-02 21:16       ` [bug#37466] [WIP v4 6/7] gnu: Add heads-qemu-coreboot Danny Milosavljevic
2019-10-02 21:16       ` [bug#37466] [WIP v4 7/7] gnu: Add heads-kgpe-d16 Danny Milosavljevic
2020-05-02 17:11       ` [bug#37466] [WIP v5 0/8] Add heads Danny Milosavljevic
2020-05-02 17:11         ` [bug#37466] [WIP v5 1/8] gnu: Add elfutils@0.174 Danny Milosavljevic
2020-05-02 17:11         ` [bug#37466] [WIP v5 2/8] gnu: Add heads Danny Milosavljevic
2020-05-02 17:11         ` [bug#37466] [WIP v5 3/8] gnu: Add heads-linuxboot Danny Milosavljevic
2020-05-02 17:11         ` [bug#37466] [WIP v5 4/8] gnu: Add heads-qemu-linuxboot Danny Milosavljevic
2020-05-02 17:11         ` [bug#37466] [WIP v5 5/8] gnu: Add heads-coreboot Danny Milosavljevic
2020-05-02 17:11         ` [bug#37466] [WIP v5 6/8] gnu: Add heads-qemu-coreboot Danny Milosavljevic
2020-05-02 17:11         ` [bug#37466] [WIP v5 7/8] gnu: Add heads-kgpe-d16 Danny Milosavljevic
2020-05-02 17:11         ` [bug#37466] [WIP v5 8/8] gnu: Add heads-diesel Danny Milosavljevic
2020-05-24 22:32         ` [bug#37466] [WIP v6 0/4] Add heads and co Danny Milosavljevic
2020-05-24 22:32           ` [bug#37466] [WIP v6 1/4] gnu: Add elfutils@0.174 Danny Milosavljevic
2020-05-24 22:32           ` [bug#37466] [WIP v6 2/4] gnu: Add heads Danny Milosavljevic
2020-05-24 22:32           ` [bug#37466] [WIP v6 3/4] gnu: Add heads-linuxboot Danny Milosavljevic
2020-05-24 22:32           ` [bug#37466] [WIP v6 4/4] gnu: Add heads-qemu-linuxboot Danny Milosavljevic
2020-06-01 10:54 ` [bug#37466] [WIP v7 0/4] Add heads and co Danny Milosavljevic
2020-06-01 10:54   ` [bug#37466] [WIP v7 1/4] gnu: Add elfutils@0.174 Danny Milosavljevic
2020-06-01 10:54   ` [bug#37466] [WIP v7 2/4] gnu: Add heads Danny Milosavljevic
2020-06-01 10:54   ` [bug#37466] [WIP v7 3/4] gnu: Add heads-linuxboot Danny Milosavljevic
2020-06-01 10:54   ` [bug#37466] [WIP v7 4/4] gnu: Add heads-qemu-linuxboot Danny Milosavljevic
2020-06-01 11:08   ` [bug#37466] [WIP v7 0/4] Add heads and co Danny Milosavljevic
2020-06-02  9:14   ` Efraim Flashner

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

  List information: https://guix.gnu.org/

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=20190924140157.23564-1-dannym@scratchpost.org \
    --to=dannym@scratchpost.org \
    --cc=37466@debbugs.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 public inbox

	https://git.savannah.gnu.org/cgit/guix.git

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).