2016-04-17 17:53:20 +02:00
|
|
|
|
;;; GNU Guix --- Functional package management for GNU
|
2017-09-06 09:28:28 +02:00
|
|
|
|
;;; Copyright © 2014, 2015, 2016, 2017 Ludovic Courtès <ludo@gnu.org>
|
2016-07-14 15:51:59 +02:00
|
|
|
|
;;; Copyright © 2016 Andreas Enge <andreas@enge.fr>
|
2017-03-28 11:52:28 +02:00
|
|
|
|
;;; Copyright © 2017 Mark H Weaver <mhw@netris.org>
|
2016-04-17 17:53:20 +02:00
|
|
|
|
;;;
|
|
|
|
|
;;; 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 <http://www.gnu.org/licenses/>.
|
|
|
|
|
|
|
|
|
|
(define-module (gnu system mapped-devices)
|
2016-04-17 17:59:58 +02:00
|
|
|
|
#:use-module (guix gexp)
|
2016-04-17 17:53:20 +02:00
|
|
|
|
#:use-module (guix records)
|
2016-09-04 23:42:50 +02:00
|
|
|
|
#:use-module (guix modules)
|
2017-12-18 14:58:46 +01:00
|
|
|
|
#:use-module (guix i18n)
|
|
|
|
|
#:use-module ((guix utils)
|
|
|
|
|
#:select (source-properties->location
|
|
|
|
|
&error-location))
|
2016-04-17 18:09:11 +02:00
|
|
|
|
#:use-module (gnu services)
|
|
|
|
|
#:use-module (gnu services shepherd)
|
2017-09-06 09:28:28 +02:00
|
|
|
|
#:use-module (gnu system uuid)
|
2017-12-18 14:58:46 +01:00
|
|
|
|
#:autoload (gnu build file-systems) (find-partition-by-luks-uuid)
|
2016-11-23 20:50:41 +01:00
|
|
|
|
#:autoload (gnu packages cryptsetup) (cryptsetup-static)
|
2016-10-27 11:20:26 +02:00
|
|
|
|
#:autoload (gnu packages linux) (mdadm-static)
|
2016-04-18 00:23:16 +02:00
|
|
|
|
#:use-module (srfi srfi-1)
|
2017-12-18 14:58:46 +01:00
|
|
|
|
#:use-module (srfi srfi-34)
|
|
|
|
|
#:use-module (srfi srfi-35)
|
2016-04-17 18:09:11 +02:00
|
|
|
|
#:use-module (ice-9 match)
|
2016-04-17 17:53:20 +02:00
|
|
|
|
#:export (mapped-device
|
|
|
|
|
mapped-device?
|
|
|
|
|
mapped-device-source
|
|
|
|
|
mapped-device-target
|
|
|
|
|
mapped-device-type
|
2017-12-18 14:57:20 +01:00
|
|
|
|
mapped-device-location
|
2016-04-17 17:53:20 +02:00
|
|
|
|
|
|
|
|
|
mapped-device-kind
|
|
|
|
|
mapped-device-kind?
|
|
|
|
|
mapped-device-kind-open
|
2016-04-17 17:59:58 +02:00
|
|
|
|
mapped-device-kind-close
|
2017-12-18 14:57:20 +01:00
|
|
|
|
mapped-device-kind-check
|
2016-04-17 17:59:58 +02:00
|
|
|
|
|
2016-04-17 18:09:11 +02:00
|
|
|
|
device-mapping-service-type
|
|
|
|
|
device-mapping-service
|
|
|
|
|
|
2016-07-14 15:51:59 +02:00
|
|
|
|
luks-device-mapping
|
|
|
|
|
raid-device-mapping))
|
2016-04-17 17:53:20 +02:00
|
|
|
|
|
|
|
|
|
;;; Commentary:
|
|
|
|
|
;;;
|
|
|
|
|
;;; This module supports "device mapping", a concept implemented by Linux's
|
|
|
|
|
;;; device-mapper.
|
|
|
|
|
;;;
|
|
|
|
|
;;; Code:
|
|
|
|
|
|
|
|
|
|
(define-record-type* <mapped-device> mapped-device
|
|
|
|
|
make-mapped-device
|
|
|
|
|
mapped-device?
|
2017-01-24 22:43:14 +01:00
|
|
|
|
(source mapped-device-source) ;string | list of strings
|
2016-04-17 17:53:20 +02:00
|
|
|
|
(target mapped-device-target) ;string
|
2017-12-18 14:57:20 +01:00
|
|
|
|
(type mapped-device-type) ;<mapped-device-kind>
|
|
|
|
|
(location mapped-device-location
|
|
|
|
|
(default (current-source-location)) (innate)))
|
2016-04-17 17:53:20 +02:00
|
|
|
|
|
|
|
|
|
(define-record-type* <mapped-device-type> mapped-device-kind
|
|
|
|
|
make-mapped-device-kind
|
|
|
|
|
mapped-device-kind?
|
|
|
|
|
(open mapped-device-kind-open) ;source target -> gexp
|
|
|
|
|
(close mapped-device-kind-close ;source target -> gexp
|
2017-12-18 14:57:20 +01:00
|
|
|
|
(default (const #~(const #f))))
|
|
|
|
|
(check mapped-device-kind-check ;source -> Boolean
|
|
|
|
|
(default (const #t))))
|
2016-04-17 17:53:20 +02:00
|
|
|
|
|
2016-04-17 18:09:11 +02:00
|
|
|
|
|
|
|
|
|
;;;
|
|
|
|
|
;;; Device mapping as a Shepherd service.
|
|
|
|
|
;;;
|
|
|
|
|
|
|
|
|
|
(define device-mapping-service-type
|
|
|
|
|
(shepherd-service-type
|
|
|
|
|
'device-mapping
|
|
|
|
|
(match-lambda
|
2016-04-17 18:26:50 +02:00
|
|
|
|
(($ <mapped-device> source target
|
|
|
|
|
($ <mapped-device-type> open close))
|
2016-04-17 18:09:11 +02:00
|
|
|
|
(shepherd-service
|
|
|
|
|
(provision (list (symbol-append 'device-mapping- (string->symbol target))))
|
|
|
|
|
(requirement '(udev))
|
|
|
|
|
(documentation "Map a device node using Linux's device mapper.")
|
2016-04-17 18:26:50 +02:00
|
|
|
|
(start #~(lambda () #$(open source target)))
|
|
|
|
|
(stop #~(lambda _ (not #$(close source target))))
|
2016-08-02 12:25:03 +02:00
|
|
|
|
(respawn? #f))))))
|
2016-04-17 18:09:11 +02:00
|
|
|
|
|
2016-04-17 18:26:50 +02:00
|
|
|
|
(define (device-mapping-service mapped-device)
|
|
|
|
|
"Return a service that sets up @var{mapped-device}."
|
|
|
|
|
(service device-mapping-service-type mapped-device))
|
2016-04-17 18:09:11 +02:00
|
|
|
|
|
2016-04-17 17:59:58 +02:00
|
|
|
|
|
|
|
|
|
;;;
|
|
|
|
|
;;; Common device mappings.
|
|
|
|
|
;;;
|
|
|
|
|
|
|
|
|
|
(define (open-luks-device source target)
|
|
|
|
|
"Return a gexp that maps SOURCE to TARGET as a LUKS device, using
|
|
|
|
|
'cryptsetup'."
|
2016-09-04 23:42:50 +02:00
|
|
|
|
(with-imported-modules (source-module-closure
|
|
|
|
|
'((gnu build file-systems)))
|
2017-09-06 09:28:28 +02:00
|
|
|
|
#~(let ((source #$(if (uuid? source)
|
|
|
|
|
(uuid-bytevector source)
|
|
|
|
|
source)))
|
2016-08-02 12:25:03 +02:00
|
|
|
|
;; XXX: 'use-modules' should be at the top level.
|
|
|
|
|
(use-modules (rnrs bytevectors) ;bytevector?
|
|
|
|
|
((gnu build file-systems)
|
|
|
|
|
#:select (find-partition-by-luks-uuid)))
|
|
|
|
|
|
2016-11-23 20:50:41 +01:00
|
|
|
|
;; Use 'cryptsetup-static', not 'cryptsetup', to avoid pulling the
|
|
|
|
|
;; whole world inside the initrd (for when we're in an initrd).
|
|
|
|
|
(zero? (system* #$(file-append cryptsetup-static "/sbin/cryptsetup")
|
2016-07-12 00:38:50 +02:00
|
|
|
|
"open" "--type" "luks"
|
|
|
|
|
|
|
|
|
|
;; Note: We cannot use the "UUID=source" syntax here
|
|
|
|
|
;; because 'cryptsetup' implements it by searching the
|
|
|
|
|
;; udev-populated /dev/disk/by-id directory but udev may
|
|
|
|
|
;; be unavailable at the time we run this.
|
|
|
|
|
(if (bytevector? source)
|
2017-03-28 11:52:28 +02:00
|
|
|
|
(or (let loop ((tries-left 10))
|
|
|
|
|
(and (positive? tries-left)
|
|
|
|
|
(or (find-partition-by-luks-uuid source)
|
|
|
|
|
;; If the underlying partition is
|
|
|
|
|
;; not found, try again after
|
|
|
|
|
;; waiting a second, up to ten
|
|
|
|
|
;; times. FIXME: This should be
|
|
|
|
|
;; dealt with in a more robust way.
|
|
|
|
|
(begin (sleep 1)
|
|
|
|
|
(loop (- tries-left 1))))))
|
2016-07-12 00:38:50 +02:00
|
|
|
|
(error "LUKS partition not found" source))
|
|
|
|
|
source)
|
|
|
|
|
|
|
|
|
|
#$target)))))
|
2016-04-17 17:59:58 +02:00
|
|
|
|
|
|
|
|
|
(define (close-luks-device source target)
|
|
|
|
|
"Return a gexp that closes TARGET, a LUKS device."
|
2016-11-23 20:50:41 +01:00
|
|
|
|
#~(zero? (system* #$(file-append cryptsetup-static "/sbin/cryptsetup")
|
2016-04-17 17:59:58 +02:00
|
|
|
|
"close" #$target)))
|
|
|
|
|
|
2017-12-18 14:58:46 +01:00
|
|
|
|
(define (check-luks-device md)
|
|
|
|
|
"Ensure the source of MD is valid."
|
|
|
|
|
(let ((source (mapped-device-source md)))
|
|
|
|
|
(or (not (uuid? source))
|
|
|
|
|
(not (zero? (getuid)))
|
|
|
|
|
(find-partition-by-luks-uuid (uuid-bytevector source))
|
|
|
|
|
(raise (condition
|
|
|
|
|
(&message
|
|
|
|
|
(message (format #f (G_ "no LUKS partition with UUID '~a'")
|
|
|
|
|
(uuid->string source))))
|
|
|
|
|
(&error-location
|
|
|
|
|
(location (source-properties->location
|
|
|
|
|
(mapped-device-location md)))))))))
|
|
|
|
|
|
2016-04-17 17:59:58 +02:00
|
|
|
|
(define luks-device-mapping
|
|
|
|
|
;; The type of LUKS mapped devices.
|
|
|
|
|
(mapped-device-kind
|
|
|
|
|
(open open-luks-device)
|
2017-12-18 14:58:46 +01:00
|
|
|
|
(close close-luks-device)
|
|
|
|
|
(check check-luks-device)))
|
2016-04-17 17:59:58 +02:00
|
|
|
|
|
2016-08-02 12:27:57 +02:00
|
|
|
|
(define (open-raid-device sources target)
|
|
|
|
|
"Return a gexp that assembles SOURCES (a list of devices) to the RAID device
|
|
|
|
|
TARGET (e.g., \"/dev/md0\"), using 'mdadm'."
|
2016-08-03 00:07:06 +02:00
|
|
|
|
#~(let ((sources '#$sources)
|
|
|
|
|
|
|
|
|
|
;; XXX: We're not at the top level here. We could use a
|
|
|
|
|
;; non-top-level 'use-modules' form but that doesn't work when the
|
|
|
|
|
;; code is eval'd, like the Shepherd does.
|
|
|
|
|
(every (@ (srfi srfi-1) every))
|
|
|
|
|
(format (@ (ice-9 format) format)))
|
|
|
|
|
(let loop ((attempts 0))
|
|
|
|
|
(unless (every file-exists? sources)
|
|
|
|
|
(when (> attempts 20)
|
|
|
|
|
(error "RAID devices did not show up; bailing out"
|
|
|
|
|
sources))
|
|
|
|
|
|
|
|
|
|
(format #t "waiting for RAID source devices~{ ~a~}...~%"
|
|
|
|
|
sources)
|
|
|
|
|
(sleep 1)
|
|
|
|
|
(loop (+ 1 attempts))))
|
|
|
|
|
|
2016-10-27 11:20:26 +02:00
|
|
|
|
;; Use 'mdadm-static' rather than 'mdadm' to avoid pulling its whole
|
|
|
|
|
;; closure (80 MiB) in the initrd when a RAID device is needed for boot.
|
|
|
|
|
(zero? (apply system* #$(file-append mdadm-static "/sbin/mdadm")
|
2016-10-04 19:48:51 +02:00
|
|
|
|
"--assemble" #$target sources))))
|
2016-08-02 12:27:57 +02:00
|
|
|
|
|
|
|
|
|
(define (close-raid-device sources target)
|
2016-07-14 15:51:59 +02:00
|
|
|
|
"Return a gexp that stops the RAID device TARGET."
|
2016-10-27 11:20:26 +02:00
|
|
|
|
#~(zero? (system* #$(file-append mdadm-static "/sbin/mdadm")
|
2016-07-14 15:51:59 +02:00
|
|
|
|
"--stop" #$target)))
|
|
|
|
|
|
|
|
|
|
(define raid-device-mapping
|
|
|
|
|
;; The type of RAID mapped devices.
|
|
|
|
|
(mapped-device-kind
|
|
|
|
|
(open open-raid-device)
|
|
|
|
|
(close close-raid-device)))
|
|
|
|
|
|
2016-04-17 17:53:20 +02:00
|
|
|
|
;;; mapped-devices.scm ends here
|