From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp2.migadu.com ([2001:41d0:403:58f0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms13.migadu.com with LMTPS id mBQ7E9TyrmaGVAAAe85BDQ:P1 (envelope-from ) for ; Sun, 04 Aug 2024 03:17:40 +0000 Received: from aspmx1.migadu.com ([2001:41d0:403:58f0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp2.migadu.com with LMTPS id mBQ7E9TyrmaGVAAAe85BDQ (envelope-from ) for ; Sun, 04 Aug 2024 05:17:40 +0200 X-Envelope-To: larch@yhetil.org Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=debbugs.gnu.org header.s=debbugs-gnu-org header.b=Nq2le4Ty; dkim=fail ("headers rsa verify failed") header.d=lunabee.space header.s=purelymail2 header.b=mYs3mQYB; dkim=fail ("headers rsa verify failed") header.d=purelymail.com header.s=purelymail2 header.b=LVeUwlXY; dmarc=pass (policy=none) header.from=gnu.org; spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org" ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1722741460; h=from:from:sender:sender:reply-to:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type: content-transfer-encoding:content-transfer-encoding:resent-cc: resent-from:resent-sender:resent-message-id:in-reply-to:in-reply-to: references:references:list-id:list-help:list-unsubscribe: list-subscribe:list-post:dkim-signature; bh=vO6hmiHkgswz0z62Lgk/jg6jH6fvwKSJtTU2C6oSo6k=; b=FOqIhA/MGOBYK5ce+Sr1w6HDUeIiI051Ns0C/LWtSKRZJ2Ks7v958LNrJLjYZqoGSpfRz0 G/q8kH1ugHlJWlY3lk7KerEBJFAD/43jgvGRg3Ec+FXOMIS63oXFJ4rZ6n6eep+a9ZaFFm eev+GBdigepEctpBD+AMUrGEPiGCtGr7BRWJwOyuTRw4+C77zDmX6Ka4JhdbWluPGqBGpK uTneJlfHvSyV9S9NLiiRVlUBwndpqZ2vJa8ZD02yvfutSY/7b+OtcHo3Xih/MXLRd/PJ77 U5TNzae/SrGN94GgFWoQoCw1D4OJnYmFESYeuruf91sUhq/D72LgJzwrN5Y8GQ== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1722741460; a=rsa-sha256; cv=none; b=ej+feny2MQlgdO2oFPN/7Gmrq2qPdoh/4igPKc25l0+WnZQVIJjmXsu0X/W/kluJZkoS6z P9d51z0j84YpNkSqhGZZ4NyBuZEiLcGRy5mqLdkt1Gb/EWuDWy4nMMIJlny4FGRce5nKCm EWs3N4GIFgTy/89nPeWrIkGDkIBSzzIYusUyeGz1W9sJ+PL55oB6MRdqSPXNnJCi7WpO4D 0Sx1ZO+J+/yL3fLGD5pBWvnSyxH2PPlaEo2aHkECZtcFK4mSfw7FHINiX+Pbnh4SwDRzpr q5EIPO/VKV5ENHs6sbQQSZMeUtErYxZRlwyNuqE+lozSwL3eZ9u5Zb65hq7SBA== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=debbugs.gnu.org header.s=debbugs-gnu-org header.b=Nq2le4Ty; dkim=fail ("headers rsa verify failed") header.d=lunabee.space header.s=purelymail2 header.b=mYs3mQYB; dkim=fail ("headers rsa verify failed") header.d=purelymail.com header.s=purelymail2 header.b=LVeUwlXY; dmarc=pass (policy=none) header.from=gnu.org; spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org" Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id 0F3496422B for ; Sun, 04 Aug 2024 05:17:40 +0200 (CEST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1saRjy-0003n5-70; Sat, 03 Aug 2024 23:17:02 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1saRji-0003kI-GO for guix-patches@gnu.org; Sat, 03 Aug 2024 23:16:50 -0400 Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1saRji-0002Q5-66; Sat, 03 Aug 2024 23:16:46 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=debbugs.gnu.org; s=debbugs-gnu-org; h=MIME-Version:References:In-Reply-To:Date:From:To:Subject; bh=vO6hmiHkgswz0z62Lgk/jg6jH6fvwKSJtTU2C6oSo6k=; b=Nq2le4TynqJnO4Ih43rmuyDFDOKB+2/S1HHA2rIDrOKS33mY5oxsBJOVBwVX/4IvegOiqqDD+7xklIcBkU7C9X5qS+srY6b2WwI1J9/5CIJvI0vvZqyU+KHeoCChDesgiX7bK7HNR7ostzCS1oSeFTHvkE94jO4GfYAqORsIrWKt8oiFwKn/ckhHPF7X061xvmbaE35wRVHZNSwqRX8GpSUV7FH9egojCGXhxKKuPZVpcJ4xy5AYhHdHKPfCaV+OWLJNFeEcsF0bQyKYng1D2YCgn2YhQZFvShPUy5T/HfeNM31c/Lo/rQbzvoa4N35UU1yK7AaoSoINVbOn4ZLKpw==; Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1saRjz-0007nK-VG; Sat, 03 Aug 2024 23:17:03 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#69343] [PATCH v3 02/12] Move record to a separate file. Resent-From: Lilah Tascheter Original-Sender: "Debbugs-submit" Resent-CC: guix@cbaines.net, dev@jpoiret.xyz, ludo@gnu.org, othacehe@gnu.org, zimon.toutoune@gmail.com, me@tobias.gr, guix-patches@gnu.org Resent-Date: Sun, 04 Aug 2024 03:17:03 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 69343 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 69343@debbugs.gnu.org Cc: Felix Lechner , Christopher Baines , Josselin Poiret , Ludovic Court??s , Mathieu Othacehe , Simon Tournier , Tobias Geerinckx-Rice X-Debbugs-Original-Xcc: Christopher Baines , Josselin Poiret , Ludovic Court??s , Mathieu Othacehe , Simon Tournier , Tobias Geerinckx-Rice Received: via spool by 69343-submit@debbugs.gnu.org id=B69343.172274137329665 (code B ref 69343); Sun, 04 Aug 2024 03:17:03 +0000 Received: (at 69343) by debbugs.gnu.org; 4 Aug 2024 03:16:13 +0000 Received: from localhost ([127.0.0.1]:54992 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1saRj9-0007iG-J0 for submit@debbugs.gnu.org; Sat, 03 Aug 2024 23:16:13 -0400 Received: from sendmail.purelymail.com ([34.202.193.197]:51702) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1saRj5-0007h5-Vr for 69343@debbugs.gnu.org; Sat, 03 Aug 2024 23:16:10 -0400 DKIM-Signature: a=rsa-sha256; b=mYs3mQYBH/bj5MWWFfpkOhnuMZCmZOhoNGL3GcT/ppiCcGTED6QgqFRrAla8/Kyp0iEaj5LiKAjxqv5sfqJrPykNFs0Tri6jphF77nY3Nlmhf/+SRJOXM7O+hGPLRpxlKdcyI2sqYEforpcB9QX2RggVUY5ISZ5Owf1ErPY61dqU7cvWGK8aTauZ6BELPPQF4dB/dFi3DdSf4zJg2d7fSjQSlSnjjXcnNd4pshtBc1uNg3BHU66H+g5JvR8Z+l2moGzzms/LDg6ptrkPt6xpafeArE48+kBDZ3NrSoQziVsO6U2RPz/Gl83og/OyjA6CfhuGNR/i9nggMXHfj1WlgA==; s=purelymail2; d=lunabee.space; v=1; bh=a5UGzS5kQkdVSvcKofZnx9J57WwombKPeOCAElNSvCo=; h=Received:From:To:Subject:Date; DKIM-Signature: a=rsa-sha256; b=LVeUwlXYjUk0X0334JXnmh6JlcX/ch3gJuGI3Kubpl0EPGhz2x81U9ebW68ciBxLp8/Y+M9nRy8cL6B3s8aTamnbqyZ0WynRV8EFBbd1jdQuNAPxnIM4pK3ak/MKds7pVrjSusUJkzz8jBHacJJFmTnaYB60g1VItRcff7PS1PiuplzkfFIsWIKKHh1NE3TM06mNUyMhVqmnjS3F7pQQdR2yUg0SAEV2Zo4cjC+esebn6mLJl9JvqpECbOjlTBazhBjB3hljLToUMsdheQqKGDTc4/xpmaMBlYQt1PwYYulz+AxQqMn5lnlUQwc8BlCvE/C3x6gQIacj3mkd737P1g==; s=purelymail2; d=purelymail.com; v=1; bh=a5UGzS5kQkdVSvcKofZnx9J57WwombKPeOCAElNSvCo=; h=Feedback-ID:Received:From:To:Subject:Date; Feedback-ID: 8937:2070:null:purelymail X-Pm-Original-To: 69343@debbugs.gnu.org Received: by smtp.purelymail.com (Purelymail SMTP) with ESMTPSA id -2124817350; (version=TLSv1.3 cipher=TLS_AES_256_GCM_SHA384); Sun, 04 Aug 2024 03:15:35 +0000 (UTC) Date: Sat, 3 Aug 2024 22:13:24 -0500 Message-ID: <84d2bacfdda34a9c8be2ed13b3d348280f9ba2ef.1722741214.git.lilah@lunabee.space> In-Reply-To: References: MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable X-MIME-Autoconverted: from 8bit to quoted-printable by Purelymail X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , From: Lilah Tascheter via Guix-patches Reply-To: Lilah Tascheter Errors-To: guix-patches-bounces+larch=yhetil.org@gnu.org Sender: guix-patches-bounces+larch=yhetil.org@gnu.org X-Migadu-Flow: FLOW_IN X-Migadu-Country: US X-Migadu-Spam-Score: -2.44 X-Spam-Score: -2.44 X-Migadu-Queue-Id: 0F3496422B X-Migadu-Scanner: mx11.migadu.com X-TUID: OU2gvfuQ9zPc From: Felix Lechner Required to avoid a missing dependency error on build-side. * gnu/system.scm (): Move this record, and... (system-linux-image-file-name, %boot-parameters-version, bootable-kernel-arguments, ensure-not-/dev, read-boot-parameters, read-boot-parameters-file): ...these procedures, to... * gnu/system/boot.scm: ...this new file. * gnu/machine/ssh.scm, gnu/system.scm, guix/scripts/system.scm, tests/boot-parameters.scm: Use new module above. * gnu/local.mk (GNU_SYSTEM_MODULES): Add new module above. * gnu/machine/ssh.scm (machine-boot-parameters): Don't private-import bootable-kernel-arguments. Change-Id: I6944ffd4c323c776005b0cef23218bffae59be23 --- gnu/local.mk | 1 + gnu/machine/ssh.scm | 4 +- gnu/system.scm | 259 +------------------------------ gnu/system/boot.scm | 318 ++++++++++++++++++++++++++++++++++++++ guix/scripts/system.scm | 1 + tests/boot-parameters.scm | 1 + 6 files changed, 323 insertions(+), 261 deletions(-) create mode 100644 gnu/system/boot.scm diff --git a/gnu/local.mk b/gnu/local.mk index 6d2b14e72d..8375e13709 100644 --- a/gnu/local.mk +++ b/gnu/local.mk @@ -758,6 +758,7 @@ GNU_SYSTEM_MODULES =3D=09=09=09=09\ =09=09=09=09=09=09\ %D%/system.scm=09=09=09=09\ %D%/system/accounts.scm=09=09=09\ + %D%/system/boot.scm=09=09=09=09\ %D%/system/file-systems.scm=09=09=09\ %D%/system/hurd.scm=09=09=09=09\ %D%/system/image.scm =09=09=09=09\ diff --git a/gnu/machine/ssh.scm b/gnu/machine/ssh.scm index 0be9ebbc0d..749aa2b6d8 100644 --- a/gnu/machine/ssh.scm +++ b/gnu/machine/ssh.scm @@ -23,6 +23,7 @@ (define-module (gnu machine ssh) #:use-module (gnu machine) #:autoload (gnu packages gnupg) (guile-gcrypt) #:use-module (gnu system) + #:use-module (gnu system boot) #:use-module (gnu system file-systems) #:use-module (gnu system uuid) #:use-module ((gnu services) #:select (sexp->system-provenance)) @@ -417,9 +418,6 @@ (define not-config? (define (machine-boot-parameters machine) "Monadic procedure returning a list of 'boot-parameters' for the generat= ions of MACHINE's system profile, ordered from most recent to oldest." - (define bootable-kernel-arguments - (@@ (gnu system) bootable-kernel-arguments)) - (define remote-exp (with-extensions (list guile-gcrypt) (with-imported-modules `(((guix config) =3D> ,(make-config.scm)) diff --git a/gnu/system.scm b/gnu/system.scm index c76f4d7c50..2e4b10e2fb 100644 --- a/gnu/system.scm +++ b/gnu/system.scm @@ -72,6 +72,7 @@ (define-module (gnu system) #:use-module (gnu services shepherd) #:use-module (gnu services base) #:use-module (gnu bootloader) + #:use-module (gnu system boot) #:use-module (gnu system shadow) #:use-module (gnu system nss) #:use-module (gnu system locale) @@ -145,31 +146,11 @@ (define-module (gnu system) operating-system-boot-script operating-system-uuid =20 - system-linux-image-file-name operating-system-with-gc-roots operating-system-with-provenance =20 hurd-default-essential-services =20 - boot-parameters - boot-parameters? - boot-parameters-label - boot-parameters-root-device - boot-parameters-bootloader-name - boot-parameters-bootloader-menu-entries - boot-parameters-store-crypto-devices - boot-parameters-store-device - boot-parameters-store-directory-prefix - boot-parameters-store-mount-point - boot-parameters-locale - boot-parameters-kernel - boot-parameters-kernel-arguments - boot-parameters-initrd - boot-parameters-multiboot-modules - boot-parameters-version - %boot-parameters-version - read-boot-parameters - read-boot-parameters-file boot-parameters->menu-entry =20 local-host-aliases ;deprecated @@ -192,29 +173,6 @@ (define-module (gnu system) ;;; ;;; Code: =20 -(define* (bootable-kernel-arguments system root-device version) - "Return a list of kernel arguments (gexps) to boot SYSTEM from ROOT-DEVI= CE. -VERSION is the target version of the boot-parameters record." - ;; If the version is newer than 0, we use the new style initrd parameter - ;; names, otherwise we use the legacy ones. This is to maintain backwar= d - ;; compatibility when producing bootloader configurations for older - ;; generations. - (define version>0? (> version 0)) - (let ((root (file-system-device->string root-device - #:uuid-type 'dce))) - (append - (if (string=3D? root "none") - '() ; Ignore the case where the root is "none" (typically tmpfs)= . - ;; Note: Always use the DCE format because that's what - ;; (gnu build linux-boot) expects for the 'root' - ;; kernel command-line option. - (list (string-append (if version>0? "root=3D" "--root=3D") root))= ) - (list #~(string-append (if #$version>0? "gnu.system=3D" "--system=3D"= ) #$system) - #~(string-append (if #$version>0? "gnu.load=3D" "--load=3D") - #$system "/boot"))))) - -;; System-wide configuration. - (define-with-syntax-properties (warn-hosts-file-field-deprecation (value properties)) (when value @@ -361,210 +319,6 @@ (define* (operating-system-kernel-arguments ;;; Boot parameters ;;; =20 -;;; Version 1 was introduced early 2022 to mark the departure from long op= tion -;;; names such as '--load' to the more conventional initrd option names li= ke -;;; 'gnu.load'. -;;; -;;; When bumping the boot-parameters version, increment it by one (1). -(define %boot-parameters-version 1) - -(define-record-type* - boot-parameters make-boot-parameters boot-parameters? - (label boot-parameters-label) - ;; Because we will use the 'store-device' to create the GRUB search comm= and, - ;; the 'store-device' has slightly different semantics than 'root-device= '. - ;; The 'store-device' can be a file system uuid, a file system label, or= #f, - ;; but it cannot be a device file name such as "/dev/sda3", since GRUB w= ould - ;; not understand that. The 'root-device', on the other hand, correspon= ds - ;; exactly to the device field of the object representing = the - ;; OS's root file system, so it might be a device file name like - ;; "/dev/sda3". The 'store-directory-prefix' field contains #f or the s= tore - ;; file name inside the 'store-device' as it is seen by GRUB, e.g. it wo= uld - ;; contain "/storefs" if the store is located in that subvolume of a btr= fs - ;; partition. - (root-device boot-parameters-root-device) - (bootloader-name boot-parameters-bootloader-name) - (bootloader-menu-entries ;list of - boot-parameters-bootloader-menu-entries) - (store-device boot-parameters-store-device) - (store-mount-point boot-parameters-store-mount-point) - (store-directory-prefix boot-parameters-store-directory-prefix) - (store-crypto-devices boot-parameters-store-crypto-devices - (default '())) - (locale boot-parameters-locale) - (kernel boot-parameters-kernel) - (kernel-arguments boot-parameters-kernel-arguments) - (initrd boot-parameters-initrd) - (multiboot-modules boot-parameters-multiboot-modules) - (version boot-parameters-version ;positive integer - (default %boot-parameters-version))) - -(define (ensure-not-/dev device) - "If DEVICE starts with a slash, return #f. This is meant to filter out -Linux device names such as /dev/sda, and to preserve GRUB device names and -file system labels." - (if (and (string? device) (string-prefix? "/" device)) - #f - device)) - -(define (read-boot-parameters port) - "Read boot parameters from PORT and return the corresponding - object. Raise an error if the format is unrecognized." - (define device-sexp->device - (match-lambda - (('uuid (? symbol? type) (? bytevector? bv)) - (bytevector->uuid bv type)) - (('file-system-label (? string? label)) - (file-system-label label)) - ((? bytevector? bv) ;old format - (bytevector->uuid bv 'dce)) - ((? string? device) - (if (string-contains device ":/") - device ; nfs-root - ;; It used to be that we would not distinguish between labels a= nd - ;; device names. Try to infer the right thing here. - (if (string-prefix? "/" device) - device - (file-system-label device)))))) - (define uuid-sexp->uuid - (match-lambda - (('uuid (? symbol? type) (? bytevector? bv)) - (bytevector->uuid bv type)) - (x - (warning (G_ "unrecognized uuid ~a at '~a'~%") x (port-filename por= t)) - #f))) - - ;; New versions are not backward-compatible, so only accept past and cur= rent - ;; versions, not future ones. - (define (version? n) - (member n (iota (1+ %boot-parameters-version)))) - - (match (read port) - (('boot-parameters ('version (? version? version)) - ('label label) ('root-device root) - ('kernel kernel) - rest ...) - (boot-parameters - (version version) - (label label) - (root-device (device-sexp->device root)) - - (bootloader-name - (match (assq 'bootloader-name rest) - ((_ args) args) - (#f 'grub))) ; for compatibility reasons. - - (bootloader-menu-entries - (match (assq 'bootloader-menu-entries rest) - ((_ entries) (map sexp->menu-entry entries)) - (#f '()))) - - ;; In the past, we would store the directory name of linux instead o= f - ;; the absolute file name of its image. Detect that and correct it. - (kernel (if (string=3D? kernel (direct-store-path kernel)) - (string-append kernel "/" - (system-linux-image-file-name)) - kernel)) - - (kernel-arguments - (match (assq 'kernel-arguments rest) - ((_ args) args) - (#f '()))) ;the old format - - (initrd - (match (assq 'initrd rest) - (('initrd ('string-append directory file)) ;the old format - (string-append directory file)) - (('initrd (? string? file)) - file) - (#f #f))) - - (multiboot-modules - (match (assq 'multiboot-modules rest) - ((_ args) args) - (#f '()))) - - (locale - (match (assq 'locale rest) - ((_ locale) locale) - (#f #f))) - - (store-device - ;; Linux device names like "/dev/sda1" are not suitable GRUB device - ;; identifiers, so we just filter them out. - (ensure-not-/dev - (match (assq 'store rest) - (('store ('device #f) _ ...) - root-device) - (('store ('device device) _ ...) - (device-sexp->device device)) - (_ ;the old format - root-device)))) - - (store-directory-prefix - (match (assq 'store rest) - (('store . store-data) - (match (assq 'directory-prefix store-data) - (('directory-prefix prefix) prefix) - ;; No directory-prefix found. - (_ #f))) - (_ - ;; No store found, old format. - #f))) - - (store-crypto-devices - (match (assq 'store rest) - (('store . store-data) - (match (assq 'crypto-devices store-data) - (('crypto-devices (devices ...)) - (map uuid-sexp->uuid devices)) - (('crypto-devices dev) - (warning (G_ "unrecognized crypto-devices ~S at '~a'~%") - dev (port-filename port)) - '()) - (_ - ;; No crypto-devices found. - '()))) - (_ - ;; No store found, old format. - '()))) - - (store-mount-point - (match (assq 'store rest) - (('store ('device _) ('mount-point mount-point) _ ...) - mount-point) - (_ ;the old format - "/"))))) - (x ;unsupported format - (raise - (make-compound-condition - (formatted-message - (G_ "unrecognized boot parameters at '~a'~%") - (port-filename port)) - (condition - (&fix-hint (hint (format #f (G_ "This probably means that this ver= sion -of Guix is older than the one that created @file{~a}. To address this, yo= u -need to update Guix: - -@example -guix pull -@end example") - (port-filename port)))))))))) - -(define (read-boot-parameters-file system) - "Read boot parameters from SYSTEM's (system or generation) \"parameters\= " -file and returns the corresponding object or #f if the -format is unrecognized. -The object has its kernel-arguments extended in order to make it bootable.= " - (let* ((file (string-append system "/parameters")) - (params (call-with-input-file file read-boot-parameters)) - (root (boot-parameters-root-device params)) - (version (boot-parameters-version params))) - (boot-parameters - (inherit params) - (kernel-arguments (append (bootable-kernel-arguments system root vers= ion) - (boot-parameters-kernel-arguments params)))= ))) - (define (boot-parameters->menu-entry conf) "Return a instance given CONF, a instance= ." (let* ((kernel (boot-parameters-kernel conf)) @@ -726,17 +480,6 @@ (define (swap-services os) (map (compose swap-service filter-deps) (operating-system-swap-devices os))) =20 -(define* (system-linux-image-file-name #:optional - (target (or (%current-target-system= ) - (%current-system)))) - "Return the basename of the kernel image file for TARGET." - (cond - ((string-prefix? "arm" target) "zImage") - ((string-prefix? "mips" target) "vmlinuz") - ((string-prefix? "aarch64" target) "Image") - ((string-prefix? "riscv64" target) "Image") - (else "bzImage"))) - (define (operating-system-kernel-file os) "Return an object representing the absolute file name of the kernel imag= e of OS." diff --git a/gnu/system/boot.scm b/gnu/system/boot.scm new file mode 100644 index 0000000000..7bae9d2102 --- /dev/null +++ b/gnu/system/boot.scm @@ -0,0 +1,318 @@ +;;; GNU Guix --- Functional package management for GNU +;;; Copyright =C2=A9 2013-2022 Ludovic Court=C3=A8s +;;; Copyright =C2=A9 2015 Mark H Weaver +;;; Copyright =C2=A9 2015, 2016 Alex Kost +;;; Copyright =C2=A9 2016 Chris Marusich +;;; Copyright =C2=A9 2017 Mathieu Othacehe +;;; Copyright =C2=A9 2019 Meiyo Peng +;;; Copyright =C2=A9 2019, 2020 Miguel =C3=81ngel Arruga Vivas +;;; Copyright =C2=A9 2020 Danny Milosavljevic +;;; Copyright =C2=A9 2020, 2021 Brice Waegeneire +;;; Copyright =C2=A9 2020 Florian Pelz +;;; Copyright =C2=A9 2020, 2022 Maxim Cournoyer +;;; Copyright =C2=A9 2020, 2023 Janneke Nieuwenhuizen +;;; Copyright =C2=A9 2020, 2022 Efraim Flashner +;;; Copyright =C2=A9 2021 Maxime Devos +;;; Copyright =C2=A9 2021 raid5atemyhomework +;;; Copyright =C2=A9 2023 Bruno Victal +;;; Copyright =C2=A9 2023 Felix Lechner +;;; +;;; This file is part of GNU Guix. +;;; +;;; GNU Guix is free software; you can redistribute it and/or modify it +;;; under the terms of the GNU General Public License as published by +;;; the Free Software Foundation; either version 3 of the License, or (at +;;; your option) any later version. +;;; +;;; GNU Guix is distributed in the hope that it will be useful, but +;;; WITHOUT ANY WARRANTY; without even the implied warranty of +;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +;;; GNU General Public License for more details. +;;; +;;; You should have received a copy of the GNU General Public License +;;; along with GNU Guix. If not, see . + +(define-module (gnu system boot) + #:use-module (guix gexp) + #:use-module (guix diagnostics) + #:use-module (guix i18n) + #:use-module (guix records) + #:use-module (guix store) + #:use-module (guix utils) + #:use-module (gnu bootloader) + #:use-module (gnu system file-systems) + #:use-module (gnu system uuid) + #:use-module (ice-9 format) + #:use-module (ice-9 match) + #:use-module (srfi srfi-1) + #:use-module (srfi srfi-34) + #:use-module (srfi srfi-35) + #:use-module (rnrs bytevectors) + #:export (boot-parameters + boot-parameters? + boot-parameters-label + boot-parameters-root-device + boot-parameters-bootloader-name + boot-parameters-bootloader-menu-entries + boot-parameters-store-crypto-devices + boot-parameters-store-device + boot-parameters-store-directory-prefix + boot-parameters-store-mount-point + boot-parameters-locale + boot-parameters-kernel + boot-parameters-kernel-arguments + boot-parameters-initrd + boot-parameters-multiboot-modules + boot-parameters-version + %boot-parameters-version + + read-boot-parameters + read-boot-parameters-file + bootable-kernel-arguments + + ensure-not-/dev + system-linux-image-file-name)) + +;;; +;;; Boot parameters +;;; + +;;; Version 1 was introduced early 2022 to mark the departure from long op= tion +;;; names such as '--load' to the more conventional initrd option names li= ke +;;; 'gnu.load'. +;;; +;;; When bumping the boot-parameters version, increment it by one (1). +(define %boot-parameters-version 1) + +(define-record-type* + boot-parameters make-boot-parameters boot-parameters? + (label boot-parameters-label) + ;; Because we will use the 'store-device' to create the GRUB search comm= and, + ;; the 'store-device' has slightly different semantics than 'root-device= '. + ;; The 'store-device' can be a file system uuid, a file system label, or= #f, + ;; but it cannot be a device file name such as "/dev/sda3", since GRUB w= ould + ;; not understand that. The 'root-device', on the other hand, correspon= ds + ;; exactly to the device field of the object representing = the + ;; OS's root file system, so it might be a device file name like + ;; "/dev/sda3". The 'store-directory-prefix' field contains #f or the s= tore + ;; file name inside the 'store-device' as it is seen by GRUB, e.g. it wo= uld + ;; contain "/storefs" if the store is located in that subvolume of a btr= fs + ;; partition. + (root-device boot-parameters-root-device) + (bootloader-name boot-parameters-bootloader-name) + (bootloader-menu-entries ;list of + boot-parameters-bootloader-menu-entries) + (store-device boot-parameters-store-device) + (store-mount-point boot-parameters-store-mount-point) + (store-directory-prefix boot-parameters-store-directory-prefix) + (store-crypto-devices boot-parameters-store-crypto-devices + (default '())) + (locale boot-parameters-locale) + (kernel boot-parameters-kernel) + (kernel-arguments boot-parameters-kernel-arguments) + (initrd boot-parameters-initrd) + (multiboot-modules boot-parameters-multiboot-modules) + (version boot-parameters-version ;positive integer + (default %boot-parameters-version))) + +(define (read-boot-parameters port) + "Read boot parameters from PORT and return the corresponding + object. Raise an error if the format is unrecognized." + (define device-sexp->device + (match-lambda + (('uuid (? symbol? type) (? bytevector? bv)) + (bytevector->uuid bv type)) + (('file-system-label (? string? label)) + (file-system-label label)) + ((? bytevector? bv) ;old format + (bytevector->uuid bv 'dce)) + ((? string? device) + (if (string-contains device ":/") + device ; nfs-root + ;; It used to be that we would not distinguish between labels a= nd + ;; device names. Try to infer the right thing here. + (if (string-prefix? "/" device) + device + (file-system-label device)))))) + (define uuid-sexp->uuid + (match-lambda + (('uuid (? symbol? type) (? bytevector? bv)) + (bytevector->uuid bv type)) + (x + (warning (G_ "unrecognized uuid ~a at '~a'~%") x (port-filename por= t)) + #f))) + + ;; New versions are not backward-compatible, so only accept past and cur= rent + ;; versions, not future ones. + (define (version? n) + (member n (iota (1+ %boot-parameters-version)))) + + (match (read port) + (('boot-parameters ('version (? version? version)) + ('label label) ('root-device root) + ('kernel kernel) + rest ...) + (boot-parameters + (version version) + (label label) + (root-device (device-sexp->device root)) + + (bootloader-name + (match (assq 'bootloader-name rest) + ((_ args) args) + (#f 'grub))) ; for compatibility reasons. + + (bootloader-menu-entries + (match (assq 'bootloader-menu-entries rest) + ((_ entries) (map sexp->menu-entry entries)) + (#f '()))) + + ;; In the past, we would store the directory name of linux instead o= f + ;; the absolute file name of its image. Detect that and correct it. + (kernel (if (string=3D? kernel (direct-store-path kernel)) + (string-append kernel "/" + (system-linux-image-file-name)) + kernel)) + + (kernel-arguments + (match (assq 'kernel-arguments rest) + ((_ args) args) + (#f '()))) ;the old format + + (initrd + (match (assq 'initrd rest) + (('initrd ('string-append directory file)) ;the old format + (string-append directory file)) + (('initrd (? string? file)) + file) + (#f #f))) + + (multiboot-modules + (match (assq 'multiboot-modules rest) + ((_ args) args) + (#f '()))) + + (locale + (match (assq 'locale rest) + ((_ locale) locale) + (#f #f))) + + (store-device + ;; Linux device names like "/dev/sda1" are not suitable GRUB device + ;; identifiers, so we just filter them out. + (ensure-not-/dev + (match (assq 'store rest) + (('store ('device #f) _ ...) + root-device) + (('store ('device device) _ ...) + (device-sexp->device device)) + (_ ;the old format + root-device)))) + + (store-directory-prefix + (match (assq 'store rest) + (('store . store-data) + (match (assq 'directory-prefix store-data) + (('directory-prefix prefix) prefix) + ;; No directory-prefix found. + (_ #f))) + (_ + ;; No store found, old format. + #f))) + + (store-crypto-devices + (match (assq 'store rest) + (('store . store-data) + (match (assq 'crypto-devices store-data) + (('crypto-devices (devices ...)) + (map uuid-sexp->uuid devices)) + (('crypto-devices dev) + (warning (G_ "unrecognized crypto-devices ~S at '~a'~%") + dev (port-filename port)) + '()) + (_ + ;; No crypto-devices found. + '()))) + (_ + ;; No store found, old format. + '()))) + + (store-mount-point + (match (assq 'store rest) + (('store ('device _) ('mount-point mount-point) _ ...) + mount-point) + (_ ;the old format + "/"))))) + (x ;unsupported format + (raise + (make-compound-condition + (formatted-message + (G_ "unrecognized boot parameters at '~a'~%") + (port-filename port)) + (condition + (&fix-hint (hint (format #f (G_ "This probably means that this ver= sion +of Guix is older than the one that created @file{~a}. To address this, yo= u +need to update Guix: + +@example +guix pull +@end example") + (port-filename port)))))))))) + +(define (read-boot-parameters-file system) + "Read boot parameters from SYSTEM's (system or generation) \"parameters\= " +file and returns the corresponding object or #f if the +format is unrecognized. +The object has its kernel-arguments extended in order to make it bootable.= " + (let* ((file (string-append system "/parameters")) + (params (call-with-input-file file read-boot-parameters)) + (root (boot-parameters-root-device params)) + (version (boot-parameters-version params))) + (boot-parameters + (inherit params) + (kernel-arguments (append (bootable-kernel-arguments system root vers= ion) + (boot-parameters-kernel-arguments params)))= ))) + +(define* (bootable-kernel-arguments system root-device version) + "Return a list of kernel arguments (gexps) to boot SYSTEM from ROOT-DEVI= CE. +VERSION is the target version of the boot-parameters record." + ;; If the version is newer than 0, we use the new style initrd parameter + ;; names, otherwise we use the legacy ones. This is to maintain backwar= d + ;; compatibility when producing bootloader configurations for older + ;; generations. + (define version>0? (> version 0)) + (let ((root (file-system-device->string root-device + #:uuid-type 'dce))) + (append + (if (string=3D? root "none") + '() ; Ignore the case where the root is "none" (typically tmpfs)= . + ;; Note: Always use the DCE format because that's what + ;; (gnu build linux-boot) expects for the 'root' + ;; kernel command-line option. + (list (string-append (if version>0? "root=3D" "--root=3D") root))= ) + (list #~(string-append (if #$version>0? "gnu.system=3D" "--system=3D"= ) #$system) + #~(string-append (if #$version>0? "gnu.load=3D" "--load=3D") + #$system "/boot"))))) + +(define (ensure-not-/dev device) + "If DEVICE starts with a slash, return #f. This is meant to filter out +Linux device names such as /dev/sda, and to preserve GRUB device names and +file system labels." + (if (and (string? device) (string-prefix? "/" device)) + #f + device)) + +;; XXX: defined here instead of (gnu system) to prevent dependency loop +(define* (system-linux-image-file-name #:optional + (target (or (%current-target-system= ) + (%current-system)))) + "Return the basename of the kernel image file for TARGET." + (cond + ((string-prefix? "arm" target) "zImage") + ((string-prefix? "mips" target) "vmlinuz") + ((string-prefix? "aarch64" target) "Image") + ((string-prefix? "riscv64" target) "Image") + (else "bzImage"))) + + +;;; boot.scm ends here diff --git a/guix/scripts/system.scm b/guix/scripts/system.scm index 0305128763..7000c470ed 100644 --- a/guix/scripts/system.scm +++ b/guix/scripts/system.scm @@ -70,6 +70,7 @@ (define-module (guix scripts system) #:use-module (gnu image) #:use-module (gnu system) #:use-module (gnu bootloader) + #:use-module (gnu system boot) #:use-module (gnu system file-systems) #:use-module (gnu system image) #:use-module (gnu system mapped-devices) diff --git a/tests/boot-parameters.scm b/tests/boot-parameters.scm index 03a1d01aff..2e7976aa6c 100644 --- a/tests/boot-parameters.scm +++ b/tests/boot-parameters.scm @@ -27,6 +27,7 @@ (define-module (test-boot-parameters) #:use-module (gnu bootloader) #:use-module (gnu bootloader grub) #:use-module (gnu system) + #:use-module (gnu system boot) #:use-module (gnu system file-systems) #:use-module (gnu system uuid) #:use-module ((guix diagnostics) #:select (formatted-message?)) --=20 2.45.2