2013-02-15 21:25:59 -05:00
|
|
|
|
;;; GNU Guix --- Functional package management for GNU
|
2014-01-28 17:38:19 -05:00
|
|
|
|
;;; Copyright © 2013, 2014 Ludovic Courtès <ludo@gnu.org>
|
2013-02-15 21:25:59 -05: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/>.
|
|
|
|
|
|
2014-01-29 07:04:00 -05:00
|
|
|
|
(define-module (gnu system linux-initrd)
|
|
|
|
|
#:use-module (guix monads)
|
2014-04-27 17:06:15 -04:00
|
|
|
|
#:use-module (guix gexp)
|
2013-02-15 21:25:59 -05:00
|
|
|
|
#:use-module (guix utils)
|
2014-01-29 15:57:56 -05:00
|
|
|
|
#:use-module ((guix store)
|
|
|
|
|
#:select (%store-prefix))
|
2014-04-14 17:59:08 -04:00
|
|
|
|
#:use-module ((guix derivations)
|
|
|
|
|
#:select (derivation->output-path))
|
2013-02-15 21:25:59 -05:00
|
|
|
|
#:use-module (gnu packages cpio)
|
|
|
|
|
#:use-module (gnu packages compression)
|
|
|
|
|
#:use-module (gnu packages linux)
|
2013-08-28 17:59:14 -04:00
|
|
|
|
#:use-module (gnu packages guile)
|
2013-02-15 21:25:59 -05:00
|
|
|
|
#:use-module ((gnu packages make-bootstrap)
|
|
|
|
|
#:select (%guile-static-stripped))
|
2014-05-20 15:59:08 -04:00
|
|
|
|
#:use-module (gnu system file-systems)
|
2014-04-14 17:59:08 -04:00
|
|
|
|
#:use-module (ice-9 match)
|
2014-01-31 06:01:23 -05:00
|
|
|
|
#:use-module (ice-9 regex)
|
2014-05-02 18:26:07 -04:00
|
|
|
|
#:use-module (srfi srfi-1)
|
2014-01-29 07:04:00 -05:00
|
|
|
|
#:export (expression->initrd
|
2014-06-30 14:56:45 -04:00
|
|
|
|
base-initrd))
|
2013-02-15 21:25:59 -05:00
|
|
|
|
|
|
|
|
|
|
|
|
|
|
;;; Commentary:
|
|
|
|
|
;;;
|
|
|
|
|
;;; Tools to build initial RAM disks (initrd's) for Linux-Libre, and in
|
|
|
|
|
;;; particular initrd's that run Guile.
|
|
|
|
|
;;;
|
|
|
|
|
;;; Code:
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(define* (expression->initrd exp
|
|
|
|
|
#:key
|
|
|
|
|
(guile %guile-static-stripped)
|
|
|
|
|
(cpio cpio)
|
|
|
|
|
(gzip gzip)
|
|
|
|
|
(name "guile-initrd")
|
|
|
|
|
(system (%current-system))
|
2013-08-28 17:59:14 -04:00
|
|
|
|
(modules '())
|
2014-04-27 17:06:15 -04:00
|
|
|
|
(to-copy '())
|
2013-02-15 21:25:59 -05:00
|
|
|
|
(linux #f)
|
|
|
|
|
(linux-modules '()))
|
2014-07-17 11:49:34 -04:00
|
|
|
|
"Return a derivation that builds a Linux initrd (a gzipped cpio archive)
|
|
|
|
|
containing GUILE and that evaluates EXP, a G-expression, upon booting.
|
|
|
|
|
|
|
|
|
|
LINUX-MODULES is a list of '.ko' file names to be copied from LINUX into the
|
|
|
|
|
initrd. TO-COPY is a list of additional derivations or packages to copy to
|
|
|
|
|
the initrd. MODULES is a list of Guile module names to be embedded in the
|
|
|
|
|
initrd."
|
2013-02-15 21:25:59 -05:00
|
|
|
|
|
|
|
|
|
;; General Linux overview in `Documentation/early-userspace/README' and
|
|
|
|
|
;; `Documentation/filesystems/ramfs-rootfs-initramfs.txt'.
|
|
|
|
|
|
2014-01-31 06:01:23 -05:00
|
|
|
|
(define (string->regexp str)
|
|
|
|
|
;; Return a regexp that matches STR exactly.
|
|
|
|
|
(string-append "^" (regexp-quote str) "$"))
|
|
|
|
|
|
2014-04-27 17:06:15 -04:00
|
|
|
|
(mlet* %store-monad ((source (imported-modules modules))
|
|
|
|
|
(compiled (compiled-modules modules)))
|
|
|
|
|
(define builder
|
|
|
|
|
;; TODO: Move most of this code to (guix build linux-initrd).
|
|
|
|
|
#~(begin
|
|
|
|
|
(use-modules (guix build utils)
|
|
|
|
|
(ice-9 pretty-print)
|
|
|
|
|
(ice-9 popen)
|
|
|
|
|
(ice-9 match)
|
|
|
|
|
(ice-9 ftw)
|
|
|
|
|
(srfi srfi-26)
|
|
|
|
|
(system base compile)
|
|
|
|
|
(rnrs bytevectors)
|
|
|
|
|
((system foreign) #:select (sizeof)))
|
2014-04-14 17:59:08 -04:00
|
|
|
|
|
2014-04-27 17:06:15 -04:00
|
|
|
|
(let ((cpio (string-append #$cpio "/bin/cpio"))
|
|
|
|
|
(gzip (string-append #$gzip "/bin/gzip"))
|
|
|
|
|
(modules #$source)
|
|
|
|
|
(gos #$compiled)
|
|
|
|
|
(scm-dir (string-append "share/guile/" (effective-version)))
|
|
|
|
|
(go-dir (format #f ".cache/guile/ccache/~a-~a-~a-~a"
|
|
|
|
|
(effective-version)
|
|
|
|
|
(if (eq? (native-endianness) (endianness little))
|
|
|
|
|
"LE"
|
|
|
|
|
"BE")
|
|
|
|
|
(sizeof '*)
|
|
|
|
|
(effective-version))))
|
|
|
|
|
(mkdir #$output)
|
|
|
|
|
(mkdir "contents")
|
|
|
|
|
(with-directory-excursion "contents"
|
|
|
|
|
(copy-recursively #$guile ".")
|
|
|
|
|
(call-with-output-file "init"
|
|
|
|
|
(lambda (p)
|
|
|
|
|
(format p "#!/bin/guile -ds~%!#~%" #$guile)
|
|
|
|
|
(pretty-print '#$exp p)))
|
|
|
|
|
(chmod "init" #o555)
|
|
|
|
|
(chmod "bin/guile" #o555)
|
2013-02-15 21:25:59 -05:00
|
|
|
|
|
2014-04-27 17:06:15 -04:00
|
|
|
|
;; Copy Guile modules.
|
|
|
|
|
(chmod scm-dir #o777)
|
|
|
|
|
(copy-recursively modules scm-dir
|
|
|
|
|
#:follow-symlinks? #t)
|
|
|
|
|
(copy-recursively gos (string-append "lib/guile/"
|
|
|
|
|
(effective-version) "/ccache")
|
|
|
|
|
#:follow-symlinks? #t)
|
2013-02-15 21:25:59 -05:00
|
|
|
|
|
2014-04-27 17:06:15 -04:00
|
|
|
|
;; Compile `init'.
|
|
|
|
|
(mkdir-p go-dir)
|
|
|
|
|
(set! %load-path (cons modules %load-path))
|
|
|
|
|
(set! %load-compiled-path (cons gos %load-compiled-path))
|
|
|
|
|
(compile-file "init"
|
|
|
|
|
#:opts %auto-compilation-options
|
|
|
|
|
#:output-file (string-append go-dir "/init.go"))
|
2013-08-28 17:59:14 -04:00
|
|
|
|
|
2014-04-27 17:06:15 -04:00
|
|
|
|
;; Copy Linux modules.
|
|
|
|
|
(let* ((linux #$linux)
|
|
|
|
|
(module-dir (and linux
|
|
|
|
|
(string-append linux "/lib/modules"))))
|
|
|
|
|
(mkdir "modules")
|
|
|
|
|
#$@(map (lambda (module)
|
|
|
|
|
#~(match (find-files module-dir
|
|
|
|
|
#$(string->regexp module))
|
|
|
|
|
((file)
|
|
|
|
|
(format #t "copying '~a'...~%" file)
|
|
|
|
|
(copy-file file (string-append "modules/"
|
|
|
|
|
#$module)))
|
|
|
|
|
(()
|
|
|
|
|
(error "module not found" #$module module-dir))
|
|
|
|
|
((_ ...)
|
|
|
|
|
(error "several modules by that name"
|
|
|
|
|
#$module module-dir))))
|
|
|
|
|
linux-modules))
|
2013-02-15 21:25:59 -05:00
|
|
|
|
|
2014-04-27 17:06:15 -04:00
|
|
|
|
(let ((store #$(string-append "." (%store-prefix)))
|
|
|
|
|
(to-copy '#$to-copy))
|
|
|
|
|
(unless (null? to-copy)
|
|
|
|
|
(mkdir-p store))
|
|
|
|
|
;; XXX: Should we do export-references-graph?
|
|
|
|
|
(for-each (lambda (input)
|
|
|
|
|
(let ((target
|
|
|
|
|
(string-append store "/"
|
|
|
|
|
(basename input))))
|
|
|
|
|
(copy-recursively input target)))
|
|
|
|
|
to-copy))
|
2013-02-15 21:25:59 -05:00
|
|
|
|
|
2014-04-27 17:06:15 -04:00
|
|
|
|
;; Reset the timestamps of all the files that will make it in the
|
|
|
|
|
;; initrd.
|
|
|
|
|
(for-each (cut utime <> 0 0 0 0)
|
|
|
|
|
(find-files "." ".*"))
|
2014-04-14 17:59:08 -04:00
|
|
|
|
|
2014-04-27 17:06:15 -04:00
|
|
|
|
(system* cpio "--version")
|
|
|
|
|
(let ((pipe (open-pipe* OPEN_WRITE cpio "-o"
|
|
|
|
|
"-O" (string-append #$output "/initrd")
|
|
|
|
|
"-H" "newc" "--null")))
|
|
|
|
|
(define print0
|
|
|
|
|
(let ((len (string-length "./")))
|
|
|
|
|
(lambda (file)
|
|
|
|
|
(format pipe "~a\0" (string-drop file len)))))
|
2013-02-15 21:25:59 -05:00
|
|
|
|
|
2014-04-27 17:06:15 -04:00
|
|
|
|
;; Note: as per `ramfs-rootfs-initramfs.txt', always add
|
|
|
|
|
;; directory entries before the files that are inside of it: "The
|
|
|
|
|
;; Linux kernel cpio extractor won't create files in a directory
|
|
|
|
|
;; that doesn't exist, so the directory entries must go before
|
|
|
|
|
;; the files that go in those directories."
|
|
|
|
|
(file-system-fold (const #t)
|
|
|
|
|
(lambda (file stat result) ; leaf
|
|
|
|
|
(print0 file))
|
|
|
|
|
(lambda (dir stat result) ; down
|
|
|
|
|
(unless (string=? dir ".")
|
|
|
|
|
(print0 dir)))
|
|
|
|
|
(const #f) ; up
|
|
|
|
|
(const #f) ; skip
|
|
|
|
|
(const #f)
|
|
|
|
|
#f
|
|
|
|
|
".")
|
2013-02-15 21:25:59 -05:00
|
|
|
|
|
2014-04-27 17:06:15 -04:00
|
|
|
|
(and (zero? (close-pipe pipe))
|
|
|
|
|
(with-directory-excursion #$output
|
|
|
|
|
(and (zero? (system* gzip "--best" "initrd"))
|
|
|
|
|
(rename-file "initrd.gz" "initrd")))))))))
|
2013-02-15 21:25:59 -05:00
|
|
|
|
|
2014-04-27 17:06:15 -04:00
|
|
|
|
(gexp->derivation name builder
|
|
|
|
|
#:modules '((guix build utils)))))
|
2014-01-29 07:04:00 -05:00
|
|
|
|
|
2014-05-02 18:26:07 -04:00
|
|
|
|
(define (file-system->spec fs)
|
|
|
|
|
"Return a list corresponding to file-system FS that can be passed to the
|
|
|
|
|
initrd code."
|
|
|
|
|
(match fs
|
2014-06-02 17:58:50 -04:00
|
|
|
|
(($ <file-system> device title mount-point type flags options _ check?)
|
|
|
|
|
(list device title mount-point type flags options check?))))
|
2014-05-02 18:26:07 -04:00
|
|
|
|
|
2014-06-30 14:56:45 -04:00
|
|
|
|
(define* (base-initrd file-systems
|
2014-05-02 18:26:07 -04:00
|
|
|
|
#:key
|
2014-06-30 14:52:38 -04:00
|
|
|
|
qemu-networking?
|
2014-06-30 00:49:38 -04:00
|
|
|
|
virtio?
|
|
|
|
|
volatile-root?
|
2014-07-13 17:43:00 -04:00
|
|
|
|
(extra-modules '())
|
2014-06-30 00:49:38 -04:00
|
|
|
|
guile-modules-in-chroot?)
|
2014-06-30 14:56:45 -04:00
|
|
|
|
"Return a monadic derivation that builds a generic initrd. FILE-SYSTEMS is
|
|
|
|
|
a list of file-systems to be mounted by the initrd, possibly in addition to
|
|
|
|
|
the root file system specified on the kernel command line via '--root'.
|
2013-02-15 21:25:59 -05:00
|
|
|
|
|
2014-05-23 16:35:08 -04:00
|
|
|
|
When QEMU-NETWORKING? is true, set up networking with the standard QEMU
|
2014-06-30 00:49:38 -04:00
|
|
|
|
parameters. When VIRTIO? is true, load additional modules so the initrd can
|
|
|
|
|
be used as a QEMU guest with para-virtualized I/O drivers.
|
2014-05-23 16:35:08 -04:00
|
|
|
|
|
2014-05-02 18:26:07 -04:00
|
|
|
|
When VOLATILE-ROOT? is true, the root file system is writable but any changes
|
|
|
|
|
to it are lost.
|
2013-08-31 16:46:52 -04:00
|
|
|
|
|
2014-07-13 17:43:00 -04:00
|
|
|
|
The initrd is automatically populated with all the kernel modules necessary
|
|
|
|
|
for FILE-SYSTEMS and for the given options. However, additional kernel
|
|
|
|
|
modules can be listed in EXTRA-MODULES. They will be added to the initrd, and
|
|
|
|
|
loaded at boot time in the order in which they appear.
|
|
|
|
|
|
2014-01-29 15:57:56 -05:00
|
|
|
|
When GUILE-MODULES-IN-CHROOT? is true, make core Guile modules available in
|
|
|
|
|
the new root. This is necessary is the file specified as '--load' needs
|
|
|
|
|
access to these modules (which is the case if it wants to even just print an
|
2014-05-02 18:26:07 -04:00
|
|
|
|
exception and backtrace!)."
|
2014-06-30 00:49:38 -04:00
|
|
|
|
(define virtio-modules
|
|
|
|
|
;; Modules for Linux para-virtualized devices, for use in QEMU guests.
|
|
|
|
|
'("virtio.ko" "virtio_ring.ko" "virtio_pci.ko"
|
|
|
|
|
"virtio_balloon.ko" "virtio_blk.ko" "virtio_net.ko"))
|
|
|
|
|
|
2014-01-29 15:57:56 -05:00
|
|
|
|
(define cifs-modules
|
|
|
|
|
;; Modules needed to mount CIFS file systems.
|
|
|
|
|
'("md4.ko" "ecb.ko" "cifs.ko"))
|
2013-08-28 18:04:04 -04:00
|
|
|
|
|
2014-01-31 06:21:10 -05:00
|
|
|
|
(define virtio-9p-modules
|
|
|
|
|
;; Modules for the 9p paravirtualized file system.
|
|
|
|
|
'("9pnet.ko" "9p.ko" "9pnet_virtio.ko"))
|
|
|
|
|
|
2014-05-02 18:26:07 -04:00
|
|
|
|
(define (file-system-type-predicate type)
|
|
|
|
|
(lambda (fs)
|
|
|
|
|
(string=? (file-system-type fs) type)))
|
|
|
|
|
|
2014-01-29 15:57:56 -05:00
|
|
|
|
(define linux-modules
|
|
|
|
|
;; Modules added to the initrd and loaded from the initrd.
|
2014-07-18 11:03:02 -04:00
|
|
|
|
`("libahci.ko" "ahci.ko" ; modules for SATA controllers
|
|
|
|
|
,@(if (or virtio? qemu-networking?)
|
2014-06-30 00:49:38 -04:00
|
|
|
|
virtio-modules
|
|
|
|
|
'())
|
2014-05-02 18:26:07 -04:00
|
|
|
|
,@(if (find (file-system-type-predicate "cifs") file-systems)
|
2014-01-31 06:21:10 -05:00
|
|
|
|
cifs-modules
|
|
|
|
|
'())
|
2014-05-02 18:26:07 -04:00
|
|
|
|
,@(if (find (file-system-type-predicate "9p") file-systems)
|
2014-01-31 06:21:10 -05:00
|
|
|
|
virtio-9p-modules
|
2014-04-14 17:59:08 -04:00
|
|
|
|
'())
|
|
|
|
|
,@(if volatile-root?
|
|
|
|
|
'("fuse.ko")
|
2014-07-13 17:43:00 -04:00
|
|
|
|
'())
|
|
|
|
|
,@extra-modules))
|
2013-02-15 21:25:59 -05:00
|
|
|
|
|
2014-05-03 18:30:39 -04:00
|
|
|
|
(define helper-packages
|
|
|
|
|
;; Packages to be copied on the initrd.
|
|
|
|
|
`(,@(if (find (lambda (fs)
|
|
|
|
|
(string-prefix? "ext" (file-system-type fs)))
|
|
|
|
|
file-systems)
|
|
|
|
|
(list e2fsck/static)
|
|
|
|
|
'())
|
|
|
|
|
,@(if volatile-root?
|
|
|
|
|
(list unionfs-fuse/static)
|
|
|
|
|
'())))
|
|
|
|
|
|
2014-04-27 17:06:15 -04:00
|
|
|
|
(expression->initrd
|
|
|
|
|
#~(begin
|
|
|
|
|
(use-modules (guix build linux-initrd)
|
2014-05-03 18:30:39 -04:00
|
|
|
|
(guix build utils)
|
2014-04-27 17:06:15 -04:00
|
|
|
|
(srfi srfi-26))
|
2014-04-14 17:59:08 -04:00
|
|
|
|
|
2014-05-03 18:30:39 -04:00
|
|
|
|
(with-output-to-port (%make-void-port "w")
|
|
|
|
|
(lambda ()
|
|
|
|
|
(set-path-environment-variable "PATH" '("bin" "sbin")
|
|
|
|
|
'#$helper-packages)))
|
|
|
|
|
|
2014-05-02 18:26:07 -04:00
|
|
|
|
(boot-system #:mounts '#$(map file-system->spec file-systems)
|
2014-04-27 17:06:15 -04:00
|
|
|
|
#:linux-modules '#$linux-modules
|
2014-05-23 16:35:08 -04:00
|
|
|
|
#:qemu-guest-networking? #$qemu-networking?
|
2014-04-27 17:06:15 -04:00
|
|
|
|
#:guile-modules-in-chroot? '#$guile-modules-in-chroot?
|
|
|
|
|
#:volatile-root? '#$volatile-root?))
|
2014-06-30 14:56:45 -04:00
|
|
|
|
#:name "base-initrd"
|
2014-04-27 17:06:15 -04:00
|
|
|
|
#:modules '((guix build utils)
|
|
|
|
|
(guix build linux-initrd))
|
2014-05-03 18:30:39 -04:00
|
|
|
|
#:to-copy helper-packages
|
2014-04-27 17:06:15 -04:00
|
|
|
|
#:linux linux-libre
|
|
|
|
|
#:linux-modules linux-modules))
|
2013-02-15 21:25:59 -05:00
|
|
|
|
|
|
|
|
|
;;; linux-initrd.scm ends here
|