From debbugs-submit-bounces@debbugs.gnu.org Wed Oct 02 17:16:24 2019 Received: (at 37466) by debbugs.gnu.org; 2 Oct 2019 21:16:24 +0000 Received: from localhost ([127.0.0.1]:38440 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1iFlyy-00011P-6E for submit@debbugs.gnu.org; Wed, 02 Oct 2019 17:16:24 -0400 Received: from dd26836.kasserver.com ([85.13.145.193]:45240) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1iFlyt-00010R-Bw for 37466@debbugs.gnu.org; Wed, 02 Oct 2019 17:16:21 -0400 Received: from localhost.localdomain (77.116.228.175.wireless.dyn.drei.com [77.116.228.175]) by dd26836.kasserver.com (Postfix) with ESMTPSA id 46C813361CA5; Wed, 2 Oct 2019 23:16:17 +0200 (CEST) From: Danny Milosavljevic To: 37466@debbugs.gnu.org Subject: [WIP v4 0/7] Add heads. Date: Wed, 2 Oct 2019 23:15:55 +0200 Message-Id: <20191002211602.16635-1-dannym@scratchpost.org> X-Mailer: git-send-email 2.23.0 In-Reply-To: <20190929110750.21214-1-dannym@scratchpost.org> References: <20190929110750.21214-1-dannym@scratchpost.org> MIME-Version: 1.0 Tags: patch Content-Transfer-Encoding: 8bit X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 37466 Cc: Danny Milosavljevic X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.7 (-) 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 | 3 + gnu/packages/heads.scm | 615 ++++++++++++++++++ .../patches/heads-kgpe-d16-nonalignment.patch | 23 + .../patches/heads-make-environment.patch | 446 +++++++++++++ 4 files changed, 1087 insertions(+) create mode 100644 gnu/packages/heads.scm create mode 100644 gnu/packages/patches/heads-kgpe-d16-nonalignment.patch create mode 100644 gnu/packages/patches/heads-make-environment.patch