From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:470:142:3::10]:41711) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1iCm00-0001by-7a for guix-patches@gnu.org; Tue, 24 Sep 2019 10:41:05 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1iClzz-0007a1-0Z for guix-patches@gnu.org; Tue, 24 Sep 2019 10:41:04 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:59256) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1iClzy-0007ZZ-TC for guix-patches@gnu.org; Tue, 24 Sep 2019 10:41:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1iClzy-00060G-QK for guix-patches@gnu.org; Tue, 24 Sep 2019 10:41:02 -0400 Subject: [bug#37466] [WIP v2 0/7] Add heads. Resent-Message-ID: From: Danny Milosavljevic Date: Tue, 24 Sep 2019 16:01:50 +0200 Message-Id: <20190924140157.23564-1-dannym@scratchpost.org> In-Reply-To: <20190920010248.28082-1-dannym@scratchpost.org> References: <20190920010248.28082-1-dannym@scratchpost.org> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+kyle=kyleam.com@gnu.org Sender: "Guix-patches" To: 37466@debbugs.gnu.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