2013-02-16 03:28:26 +01:00
|
|
|
|
;;; GNU Guix --- Functional package management for GNU
|
2014-01-29 13:04:00 +01:00
|
|
|
|
;;; Copyright © 2013, 2014 Ludovic Courtès <ludo@gnu.org>
|
2013-02-16 03:28:26 +01: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 vm)
|
2013-08-31 23:01:56 +02:00
|
|
|
|
#:use-module (guix config)
|
2013-02-16 03:28:26 +01:00
|
|
|
|
#:use-module (guix store)
|
|
|
|
|
#:use-module (guix derivations)
|
|
|
|
|
#:use-module (guix packages)
|
gnu: vm: Rewrite helper functions as monadic functions.
* gnu/system/dmd.scm (host-name-service, nscd-service, mingetty-service,
syslog-service, guix-service, static-networking-service): Rewrite as
monadic functions.
(dmd-configuration-file): Use 'text-file' instead of
'add-text-to-store'.
* gnu/system/grub.scm (grub-configuration-file): Rewrite as a monadic
function.
* gnu/system/linux.scm (pam-services->directory): Likewise.
* gnu/system/shadow.scm (group-file, passwd-file, guix-build-accounts):
Likewise.
* gnu/system/vm.scm (expression->derivation-in-linux-vm, qemu-image,
union, system-qemu-image): Likewise.
2013-10-03 21:30:30 +02:00
|
|
|
|
#:use-module (guix monads)
|
2013-09-27 13:28:52 +02:00
|
|
|
|
#:use-module ((gnu packages base)
|
|
|
|
|
#:select (%final-inputs
|
|
|
|
|
guile-final gcc-final glibc-final
|
2013-12-09 23:45:27 +01:00
|
|
|
|
ld-wrapper binutils-final
|
2013-12-10 21:46:59 +01:00
|
|
|
|
coreutils findutils grep sed tzdata))
|
2013-09-05 00:45:53 +02:00
|
|
|
|
#:use-module (gnu packages guile)
|
|
|
|
|
#:use-module (gnu packages bash)
|
2013-12-09 23:45:27 +01:00
|
|
|
|
#:use-module (gnu packages less)
|
2013-02-16 03:28:26 +01:00
|
|
|
|
#:use-module (gnu packages qemu)
|
|
|
|
|
#:use-module (gnu packages parted)
|
2013-09-27 00:45:53 +02:00
|
|
|
|
#:use-module (gnu packages zile)
|
2013-02-16 03:28:26 +01:00
|
|
|
|
#:use-module (gnu packages grub)
|
|
|
|
|
#:use-module (gnu packages linux)
|
2013-09-24 22:40:33 +02:00
|
|
|
|
#:use-module (gnu packages package-management)
|
2013-02-16 03:28:26 +01:00
|
|
|
|
#:use-module ((gnu packages make-bootstrap)
|
|
|
|
|
#:select (%guile-static-stripped))
|
2014-01-13 23:21:47 +01:00
|
|
|
|
#:use-module (gnu packages admin)
|
2013-09-11 22:36:50 +02:00
|
|
|
|
|
|
|
|
|
#:use-module (gnu system shadow)
|
|
|
|
|
#:use-module (gnu system linux)
|
2014-01-29 13:04:00 +01:00
|
|
|
|
#:use-module (gnu system linux-initrd)
|
2013-09-11 22:36:50 +02:00
|
|
|
|
#:use-module (gnu system grub)
|
2013-12-09 21:32:36 +01:00
|
|
|
|
#:use-module (gnu system)
|
2014-02-19 20:58:24 +01:00
|
|
|
|
#:use-module (gnu services)
|
2013-09-11 22:36:50 +02:00
|
|
|
|
|
2013-08-31 22:55:04 +02:00
|
|
|
|
#:use-module (srfi srfi-1)
|
2013-02-16 03:28:26 +01:00
|
|
|
|
#:use-module (srfi srfi-26)
|
|
|
|
|
#:use-module (ice-9 match)
|
2013-09-11 22:36:50 +02:00
|
|
|
|
|
2013-02-16 03:28:26 +01:00
|
|
|
|
#:export (expression->derivation-in-linux-vm
|
2013-09-11 20:08:53 +02:00
|
|
|
|
qemu-image
|
2014-01-31 14:36:48 +01:00
|
|
|
|
system-qemu-image
|
|
|
|
|
system-qemu-image/shared-store
|
|
|
|
|
system-qemu-image/shared-store-script))
|
2013-02-16 03:28:26 +01:00
|
|
|
|
|
|
|
|
|
|
|
|
|
|
;;; Commentary:
|
|
|
|
|
;;;
|
|
|
|
|
;;; Tools to evaluate build expressions within virtual machines.
|
|
|
|
|
;;;
|
|
|
|
|
;;; Code:
|
|
|
|
|
|
gnu: vm: Rewrite helper functions as monadic functions.
* gnu/system/dmd.scm (host-name-service, nscd-service, mingetty-service,
syslog-service, guix-service, static-networking-service): Rewrite as
monadic functions.
(dmd-configuration-file): Use 'text-file' instead of
'add-text-to-store'.
* gnu/system/grub.scm (grub-configuration-file): Rewrite as a monadic
function.
* gnu/system/linux.scm (pam-services->directory): Likewise.
* gnu/system/shadow.scm (group-file, passwd-file, guix-build-accounts):
Likewise.
* gnu/system/vm.scm (expression->derivation-in-linux-vm, qemu-image,
union, system-qemu-image): Likewise.
2013-10-03 21:30:30 +02:00
|
|
|
|
(define* (expression->derivation-in-linux-vm name exp
|
2013-02-16 03:28:26 +01:00
|
|
|
|
#:key
|
2013-08-27 19:04:14 +02:00
|
|
|
|
(system (%current-system))
|
|
|
|
|
(inputs '())
|
2013-02-16 03:28:26 +01:00
|
|
|
|
(linux linux-libre)
|
2014-01-29 13:04:00 +01:00
|
|
|
|
initrd
|
2013-08-16 23:55:51 +02:00
|
|
|
|
(qemu qemu/smb-shares)
|
2013-02-16 03:28:26 +01:00
|
|
|
|
(env-vars '())
|
|
|
|
|
(modules '())
|
|
|
|
|
(guile-for-build
|
|
|
|
|
(%guile-for-build))
|
|
|
|
|
|
|
|
|
|
(make-disk-image? #f)
|
2013-08-31 22:55:04 +02:00
|
|
|
|
(references-graphs #f)
|
2013-02-16 03:28:26 +01:00
|
|
|
|
(disk-image-size
|
|
|
|
|
(* 100 (expt 2 20))))
|
2014-01-29 13:04:00 +01:00
|
|
|
|
"Evaluate EXP in a QEMU virtual machine running LINUX with INITRD (a
|
|
|
|
|
derivation). In the virtual machine, EXP has access to all of INPUTS from the
|
|
|
|
|
store; it should put its output files in the `/xchg' directory, which is
|
|
|
|
|
copied to the derivation's output when the VM terminates.
|
2013-02-16 03:28:26 +01:00
|
|
|
|
|
|
|
|
|
When MAKE-DISK-IMAGE? is true, then create a QEMU disk image of
|
2013-08-31 22:55:04 +02:00
|
|
|
|
DISK-IMAGE-SIZE bytes and return it.
|
|
|
|
|
|
|
|
|
|
When REFERENCES-GRAPHS is true, it must be a list of file name/store path
|
|
|
|
|
pairs, as for `derivation'. The files containing the reference graphs are
|
|
|
|
|
made available under the /xchg CIFS share."
|
2013-09-08 22:45:30 +02:00
|
|
|
|
;; FIXME: Allow use of macros from other modules, as done in
|
|
|
|
|
;; `build-expression->derivation'.
|
|
|
|
|
|
2013-02-16 03:28:26 +01:00
|
|
|
|
(define input-alist
|
gnu: vm: Rewrite helper functions as monadic functions.
* gnu/system/dmd.scm (host-name-service, nscd-service, mingetty-service,
syslog-service, guix-service, static-networking-service): Rewrite as
monadic functions.
(dmd-configuration-file): Use 'text-file' instead of
'add-text-to-store'.
* gnu/system/grub.scm (grub-configuration-file): Rewrite as a monadic
function.
* gnu/system/linux.scm (pam-services->directory): Likewise.
* gnu/system/shadow.scm (group-file, passwd-file, guix-build-accounts):
Likewise.
* gnu/system/vm.scm (expression->derivation-in-linux-vm, qemu-image,
union, system-qemu-image): Likewise.
2013-10-03 21:30:30 +02:00
|
|
|
|
(with-monad %store-monad
|
|
|
|
|
(map (match-lambda
|
|
|
|
|
((input (? package? package))
|
|
|
|
|
(mlet %store-monad ((out (package-file package #:system system)))
|
|
|
|
|
(return `(,input . ,out))))
|
|
|
|
|
((input (? package? package) sub-drv)
|
|
|
|
|
(mlet %store-monad ((out (package-file package
|
|
|
|
|
#:output sub-drv
|
|
|
|
|
#:system system)))
|
|
|
|
|
(return `(,input . ,out))))
|
|
|
|
|
((input (? derivation? drv))
|
|
|
|
|
(return `(,input . ,(derivation->output-path drv))))
|
|
|
|
|
((input (? derivation? drv) sub-drv)
|
|
|
|
|
(return `(,input . ,(derivation->output-path drv sub-drv))))
|
|
|
|
|
((input (and (? string?) (? store-path?) file))
|
|
|
|
|
(return `(,input . ,file))))
|
|
|
|
|
inputs)))
|
2013-02-16 03:28:26 +01:00
|
|
|
|
|
|
|
|
|
(define builder
|
|
|
|
|
;; Code that launches the VM that evaluates EXP.
|
2013-08-31 22:55:04 +02:00
|
|
|
|
`(let ()
|
|
|
|
|
(use-modules (guix build utils)
|
|
|
|
|
(srfi srfi-1)
|
|
|
|
|
(ice-9 rdelim))
|
2013-02-16 03:28:26 +01:00
|
|
|
|
|
|
|
|
|
(let ((out (assoc-ref %outputs "out"))
|
|
|
|
|
(cu (string-append (assoc-ref %build-inputs "coreutils")
|
|
|
|
|
"/bin"))
|
|
|
|
|
(qemu (string-append (assoc-ref %build-inputs "qemu")
|
|
|
|
|
"/bin/qemu-system-"
|
|
|
|
|
(car (string-split ,system #\-))))
|
|
|
|
|
(img (string-append (assoc-ref %build-inputs "qemu")
|
|
|
|
|
"/bin/qemu-img"))
|
|
|
|
|
(linux (string-append (assoc-ref %build-inputs "linux")
|
|
|
|
|
"/bzImage"))
|
|
|
|
|
(initrd (string-append (assoc-ref %build-inputs "initrd")
|
|
|
|
|
"/initrd"))
|
|
|
|
|
(builder (assoc-ref %build-inputs "builder")))
|
|
|
|
|
|
|
|
|
|
;; XXX: QEMU uses "rm -rf" when it's done to remove the temporary SMB
|
|
|
|
|
;; directory, so it really needs `rm' in $PATH.
|
|
|
|
|
(setenv "PATH" cu)
|
|
|
|
|
|
|
|
|
|
,(if make-disk-image?
|
2013-11-19 00:03:29 +01:00
|
|
|
|
`(zero? (system* img "create" "-f" "qcow2" "image.qcow2"
|
2013-02-16 03:28:26 +01:00
|
|
|
|
,(number->string disk-image-size)))
|
|
|
|
|
'(begin))
|
|
|
|
|
|
|
|
|
|
(mkdir "xchg")
|
2013-08-31 22:55:04 +02:00
|
|
|
|
|
|
|
|
|
;; Copy the reference-graph files under xchg/ so EXP can access it.
|
|
|
|
|
(begin
|
|
|
|
|
,@(match references-graphs
|
|
|
|
|
(((graph-files . _) ...)
|
|
|
|
|
(map (lambda (file)
|
|
|
|
|
`(copy-file ,file
|
|
|
|
|
,(string-append "xchg/" file)))
|
|
|
|
|
graph-files))
|
|
|
|
|
(#f '())))
|
|
|
|
|
|
2013-02-16 03:28:26 +01:00
|
|
|
|
(and (zero?
|
2014-01-30 23:32:22 +01:00
|
|
|
|
(system* qemu "-enable-kvm" "-nographic" "-no-reboot"
|
2013-02-16 03:28:26 +01:00
|
|
|
|
"-net" "nic,model=e1000"
|
|
|
|
|
"-net" (string-append "user,smb=" (getcwd))
|
|
|
|
|
"-kernel" linux
|
|
|
|
|
"-initrd" initrd
|
|
|
|
|
"-append" (string-append "console=ttyS0 --load="
|
|
|
|
|
builder)
|
|
|
|
|
,@(if make-disk-image?
|
|
|
|
|
'("-hda" "image.qcow2")
|
|
|
|
|
'())))
|
|
|
|
|
,(if make-disk-image?
|
|
|
|
|
'(copy-file "image.qcow2" ; XXX: who mkdir'd OUT?
|
|
|
|
|
out)
|
|
|
|
|
'(begin
|
|
|
|
|
(mkdir out)
|
|
|
|
|
(copy-recursively "xchg" out)))))))
|
|
|
|
|
|
gnu: vm: Rewrite helper functions as monadic functions.
* gnu/system/dmd.scm (host-name-service, nscd-service, mingetty-service,
syslog-service, guix-service, static-networking-service): Rewrite as
monadic functions.
(dmd-configuration-file): Use 'text-file' instead of
'add-text-to-store'.
* gnu/system/grub.scm (grub-configuration-file): Rewrite as a monadic
function.
* gnu/system/linux.scm (pam-services->directory): Likewise.
* gnu/system/shadow.scm (group-file, passwd-file, guix-build-accounts):
Likewise.
* gnu/system/vm.scm (expression->derivation-in-linux-vm, qemu-image,
union, system-qemu-image): Likewise.
2013-10-03 21:30:30 +02:00
|
|
|
|
(mlet* %store-monad
|
|
|
|
|
((input-alist (sequence %store-monad input-alist))
|
|
|
|
|
(exp* -> `(let ((%build-inputs ',input-alist))
|
|
|
|
|
,exp))
|
|
|
|
|
(user-builder (text-file "builder-in-linux-vm"
|
|
|
|
|
(object->string exp*)))
|
|
|
|
|
(coreutils -> (car (assoc-ref %final-inputs "coreutils")))
|
2014-01-29 21:57:56 +01:00
|
|
|
|
(initrd (if initrd ; use the default initrd?
|
2014-01-29 13:04:00 +01:00
|
|
|
|
(return initrd)
|
2014-01-29 21:57:56 +01:00
|
|
|
|
(qemu-initrd #:guile-modules-in-chroot? #t)))
|
gnu: vm: Rewrite helper functions as monadic functions.
* gnu/system/dmd.scm (host-name-service, nscd-service, mingetty-service,
syslog-service, guix-service, static-networking-service): Rewrite as
monadic functions.
(dmd-configuration-file): Use 'text-file' instead of
'add-text-to-store'.
* gnu/system/grub.scm (grub-configuration-file): Rewrite as a monadic
function.
* gnu/system/linux.scm (pam-services->directory): Likewise.
* gnu/system/shadow.scm (group-file, passwd-file, guix-build-accounts):
Likewise.
* gnu/system/vm.scm (expression->derivation-in-linux-vm, qemu-image,
union, system-qemu-image): Likewise.
2013-10-03 21:30:30 +02:00
|
|
|
|
(inputs (lower-inputs `(("qemu" ,qemu)
|
|
|
|
|
("linux" ,linux)
|
|
|
|
|
("initrd" ,initrd)
|
|
|
|
|
("coreutils" ,coreutils)
|
|
|
|
|
("builder" ,user-builder)
|
|
|
|
|
,@inputs))))
|
derivations: Use more keyword parameters for 'build-expression->derivation'.
* guix/derivations.scm (build-expression->derivation): Turn 'system' and
'inputs' into keyword parameters.
Adjust callers accordingly.
* gnu/system/linux.scm, gnu/system/vm.scm, guix/build-system/cmake.scm,
guix/build-system/gnu.scm, guix/build-system/perl.scm,
guix/build-system/python.scm, guix/build-system/trivial.scm,
guix/download.scm, guix/packages.scm, guix/profiles.scm,
guix/scripts/pull.scm, tests/derivations.scm, tests/guix-build.sh,
tests/monads.scm, tests/store.scm, tests/union.scm: Adjust users of
'build-expression->derivation' and 'derivation-expression'
accordingly.
* doc/guix.texi (Derivations): Adjust 'build-expression->derivation'
documentation accordingly.
(The Store Monad): Likewise for 'derivation-expression'.
2013-12-04 16:07:36 +01:00
|
|
|
|
(derivation-expression name builder
|
2014-01-30 23:32:22 +01:00
|
|
|
|
;; TODO: Require the "kvm" feature.
|
derivations: Use more keyword parameters for 'build-expression->derivation'.
* guix/derivations.scm (build-expression->derivation): Turn 'system' and
'inputs' into keyword parameters.
Adjust callers accordingly.
* gnu/system/linux.scm, gnu/system/vm.scm, guix/build-system/cmake.scm,
guix/build-system/gnu.scm, guix/build-system/perl.scm,
guix/build-system/python.scm, guix/build-system/trivial.scm,
guix/download.scm, guix/packages.scm, guix/profiles.scm,
guix/scripts/pull.scm, tests/derivations.scm, tests/guix-build.sh,
tests/monads.scm, tests/store.scm, tests/union.scm: Adjust users of
'build-expression->derivation' and 'derivation-expression'
accordingly.
* doc/guix.texi (Derivations): Adjust 'build-expression->derivation'
documentation accordingly.
(The Store Monad): Likewise for 'derivation-expression'.
2013-12-04 16:07:36 +01:00
|
|
|
|
#:system system
|
|
|
|
|
#:inputs inputs
|
gnu: vm: Rewrite helper functions as monadic functions.
* gnu/system/dmd.scm (host-name-service, nscd-service, mingetty-service,
syslog-service, guix-service, static-networking-service): Rewrite as
monadic functions.
(dmd-configuration-file): Use 'text-file' instead of
'add-text-to-store'.
* gnu/system/grub.scm (grub-configuration-file): Rewrite as a monadic
function.
* gnu/system/linux.scm (pam-services->directory): Likewise.
* gnu/system/shadow.scm (group-file, passwd-file, guix-build-accounts):
Likewise.
* gnu/system/vm.scm (expression->derivation-in-linux-vm, qemu-image,
union, system-qemu-image): Likewise.
2013-10-03 21:30:30 +02:00
|
|
|
|
#:env-vars env-vars
|
|
|
|
|
#:modules (delete-duplicates
|
|
|
|
|
`((guix build utils)
|
|
|
|
|
,@modules))
|
|
|
|
|
#:guile-for-build guile-for-build
|
|
|
|
|
#:references-graphs references-graphs)))
|
|
|
|
|
|
|
|
|
|
(define* (qemu-image #:key
|
2013-02-16 03:28:26 +01:00
|
|
|
|
(name "qemu-image")
|
|
|
|
|
(system (%current-system))
|
|
|
|
|
(disk-image-size (* 100 (expt 2 20)))
|
2013-09-07 17:23:23 +02:00
|
|
|
|
grub-configuration
|
2013-09-24 22:40:33 +02:00
|
|
|
|
(initialize-store? #f)
|
2013-09-05 23:57:40 +02:00
|
|
|
|
(populate #f)
|
2013-08-31 23:01:56 +02:00
|
|
|
|
(inputs '())
|
2013-09-05 22:14:21 +02:00
|
|
|
|
(inputs-to-copy '()))
|
2013-09-05 00:45:53 +02:00
|
|
|
|
"Return a bootable, stand-alone QEMU image. The returned image is a full
|
2013-09-07 17:23:23 +02:00
|
|
|
|
disk image, with a GRUB installation that uses GRUB-CONFIGURATION as its
|
2013-12-09 21:32:36 +01:00
|
|
|
|
configuration file (GRUB-CONFIGURATION must be the name of a file in the VM.)
|
2013-08-31 23:01:56 +02:00
|
|
|
|
|
|
|
|
|
INPUTS-TO-COPY is a list of inputs (as for packages) whose closure is copied
|
2013-09-24 22:40:33 +02:00
|
|
|
|
into the image being built. When INITIALIZE-STORE? is true, initialize the
|
|
|
|
|
store database in the image so that Guix can be used in the image.
|
2013-09-05 23:57:40 +02:00
|
|
|
|
|
2013-09-25 18:01:44 +02:00
|
|
|
|
POPULATE is a list of directives stating directories or symlinks to be created
|
|
|
|
|
in the disk image partition. It is evaluated once the image has been
|
|
|
|
|
populated with INPUTS-TO-COPY. It can be used to provide additional files,
|
|
|
|
|
such as /etc files."
|
gnu: vm: Rewrite helper functions as monadic functions.
* gnu/system/dmd.scm (host-name-service, nscd-service, mingetty-service,
syslog-service, guix-service, static-networking-service): Rewrite as
monadic functions.
(dmd-configuration-file): Use 'text-file' instead of
'add-text-to-store'.
* gnu/system/grub.scm (grub-configuration-file): Rewrite as a monadic
function.
* gnu/system/linux.scm (pam-services->directory): Likewise.
* gnu/system/shadow.scm (group-file, passwd-file, guix-build-accounts):
Likewise.
* gnu/system/vm.scm (expression->derivation-in-linux-vm, qemu-image,
union, system-qemu-image): Likewise.
2013-10-03 21:30:30 +02:00
|
|
|
|
(define (input->name+derivation tuple)
|
|
|
|
|
(with-monad %store-monad
|
|
|
|
|
(match tuple
|
|
|
|
|
((name (? package? package))
|
|
|
|
|
(mlet %store-monad ((drv (package->derivation package system)))
|
|
|
|
|
(return `(,name . ,(derivation->output-path drv)))))
|
|
|
|
|
((name (? package? package) sub-drv)
|
|
|
|
|
(mlet %store-monad ((drv (package->derivation package system)))
|
|
|
|
|
(return `(,name . ,(derivation->output-path drv sub-drv)))))
|
|
|
|
|
((name (? derivation? drv))
|
|
|
|
|
(return `(,name . ,(derivation->output-path drv))))
|
|
|
|
|
((name (? derivation? drv) sub-drv)
|
|
|
|
|
(return `(,name . ,(derivation->output-path drv sub-drv))))
|
|
|
|
|
((input (and (? string?) (? store-path?) file))
|
|
|
|
|
(return `(,input . ,file))))))
|
|
|
|
|
|
|
|
|
|
(mlet %store-monad
|
|
|
|
|
((graph (sequence %store-monad
|
|
|
|
|
(map input->name+derivation inputs-to-copy))))
|
|
|
|
|
(expression->derivation-in-linux-vm
|
|
|
|
|
"qemu-image"
|
|
|
|
|
`(let ()
|
|
|
|
|
(use-modules (ice-9 rdelim)
|
|
|
|
|
(srfi srfi-1)
|
|
|
|
|
(guix build utils)
|
|
|
|
|
(guix build linux-initrd))
|
|
|
|
|
|
|
|
|
|
(let ((parted (string-append (assoc-ref %build-inputs "parted")
|
|
|
|
|
"/sbin/parted"))
|
|
|
|
|
(mkfs (string-append (assoc-ref %build-inputs "e2fsprogs")
|
|
|
|
|
"/sbin/mkfs.ext3"))
|
|
|
|
|
(grub (string-append (assoc-ref %build-inputs "grub")
|
|
|
|
|
"/sbin/grub-install"))
|
|
|
|
|
(umount (string-append (assoc-ref %build-inputs "util-linux")
|
|
|
|
|
"/bin/umount")) ; XXX: add to Guile
|
2013-12-09 21:32:36 +01:00
|
|
|
|
(grub.cfg ,grub-configuration))
|
gnu: vm: Rewrite helper functions as monadic functions.
* gnu/system/dmd.scm (host-name-service, nscd-service, mingetty-service,
syslog-service, guix-service, static-networking-service): Rewrite as
monadic functions.
(dmd-configuration-file): Use 'text-file' instead of
'add-text-to-store'.
* gnu/system/grub.scm (grub-configuration-file): Rewrite as a monadic
function.
* gnu/system/linux.scm (pam-services->directory): Likewise.
* gnu/system/shadow.scm (group-file, passwd-file, guix-build-accounts):
Likewise.
* gnu/system/vm.scm (expression->derivation-in-linux-vm, qemu-image,
union, system-qemu-image): Likewise.
2013-10-03 21:30:30 +02:00
|
|
|
|
|
|
|
|
|
(define (read-reference-graph port)
|
|
|
|
|
;; Return a list of store paths from the reference graph at PORT.
|
|
|
|
|
;; The data at PORT is the format produced by #:references-graphs.
|
|
|
|
|
(let loop ((line (read-line port))
|
|
|
|
|
(result '()))
|
|
|
|
|
(cond ((eof-object? line)
|
|
|
|
|
(delete-duplicates result))
|
|
|
|
|
((string-prefix? "/" line)
|
|
|
|
|
(loop (read-line port)
|
|
|
|
|
(cons line result)))
|
|
|
|
|
(else
|
|
|
|
|
(loop (read-line port)
|
|
|
|
|
result)))))
|
|
|
|
|
|
|
|
|
|
(define (things-to-copy)
|
|
|
|
|
;; Return the list of store files to copy to the image.
|
|
|
|
|
(define (graph-from-file file)
|
|
|
|
|
(call-with-input-file file
|
|
|
|
|
read-reference-graph))
|
|
|
|
|
|
|
|
|
|
,(match inputs-to-copy
|
|
|
|
|
(((graph-files . _) ...)
|
|
|
|
|
`(let* ((graph-files ',(map (cut string-append "/xchg/" <>)
|
|
|
|
|
graph-files))
|
|
|
|
|
(paths (append-map graph-from-file graph-files)))
|
|
|
|
|
(delete-duplicates paths)))
|
|
|
|
|
(#f ''())))
|
|
|
|
|
|
|
|
|
|
;; GRUB is full of shell scripts.
|
|
|
|
|
(setenv "PATH"
|
|
|
|
|
(string-append (dirname grub) ":"
|
|
|
|
|
(assoc-ref %build-inputs "coreutils") "/bin:"
|
|
|
|
|
(assoc-ref %build-inputs "findutils") "/bin:"
|
|
|
|
|
(assoc-ref %build-inputs "sed") "/bin:"
|
|
|
|
|
(assoc-ref %build-inputs "grep") "/bin:"
|
|
|
|
|
(assoc-ref %build-inputs "gawk") "/bin"))
|
|
|
|
|
|
|
|
|
|
(display "creating partition table...\n")
|
2014-01-31 01:43:16 +01:00
|
|
|
|
(and (zero? (system* parted "/dev/sda" "mklabel" "msdos"
|
gnu: vm: Rewrite helper functions as monadic functions.
* gnu/system/dmd.scm (host-name-service, nscd-service, mingetty-service,
syslog-service, guix-service, static-networking-service): Rewrite as
monadic functions.
(dmd-configuration-file): Use 'text-file' instead of
'add-text-to-store'.
* gnu/system/grub.scm (grub-configuration-file): Rewrite as a monadic
function.
* gnu/system/linux.scm (pam-services->directory): Likewise.
* gnu/system/shadow.scm (group-file, passwd-file, guix-build-accounts):
Likewise.
* gnu/system/vm.scm (expression->derivation-in-linux-vm, qemu-image,
union, system-qemu-image): Likewise.
2013-10-03 21:30:30 +02:00
|
|
|
|
"mkpart" "primary" "ext2" "1MiB"
|
|
|
|
|
,(format #f "~aB"
|
|
|
|
|
(- disk-image-size
|
|
|
|
|
(* 5 (expt 2 20))))))
|
|
|
|
|
(begin
|
|
|
|
|
(display "creating ext3 partition...\n")
|
2014-01-31 01:43:16 +01:00
|
|
|
|
(and (zero? (system* mkfs "-F" "/dev/sda1"))
|
gnu: vm: Rewrite helper functions as monadic functions.
* gnu/system/dmd.scm (host-name-service, nscd-service, mingetty-service,
syslog-service, guix-service, static-networking-service): Rewrite as
monadic functions.
(dmd-configuration-file): Use 'text-file' instead of
'add-text-to-store'.
* gnu/system/grub.scm (grub-configuration-file): Rewrite as a monadic
function.
* gnu/system/linux.scm (pam-services->directory): Likewise.
* gnu/system/shadow.scm (group-file, passwd-file, guix-build-accounts):
Likewise.
* gnu/system/vm.scm (expression->derivation-in-linux-vm, qemu-image,
union, system-qemu-image): Likewise.
2013-10-03 21:30:30 +02:00
|
|
|
|
(let ((store (string-append "/fs" ,%store-directory)))
|
|
|
|
|
(display "mounting partition...\n")
|
|
|
|
|
(mkdir "/fs")
|
2014-01-31 01:43:16 +01:00
|
|
|
|
(mount "/dev/sda1" "/fs" "ext3")
|
gnu: vm: Rewrite helper functions as monadic functions.
* gnu/system/dmd.scm (host-name-service, nscd-service, mingetty-service,
syslog-service, guix-service, static-networking-service): Rewrite as
monadic functions.
(dmd-configuration-file): Use 'text-file' instead of
'add-text-to-store'.
* gnu/system/grub.scm (grub-configuration-file): Rewrite as a monadic
function.
* gnu/system/linux.scm (pam-services->directory): Likewise.
* gnu/system/shadow.scm (group-file, passwd-file, guix-build-accounts):
Likewise.
* gnu/system/vm.scm (expression->derivation-in-linux-vm, qemu-image,
union, system-qemu-image): Likewise.
2013-10-03 21:30:30 +02:00
|
|
|
|
(mkdir-p "/fs/boot/grub")
|
|
|
|
|
(symlink grub.cfg "/fs/boot/grub/grub.cfg")
|
|
|
|
|
|
|
|
|
|
;; Populate the image's store.
|
|
|
|
|
(mkdir-p store)
|
|
|
|
|
(chmod store #o1775)
|
|
|
|
|
(for-each (lambda (thing)
|
|
|
|
|
(copy-recursively thing
|
|
|
|
|
(string-append "/fs"
|
|
|
|
|
thing)))
|
2013-12-09 21:32:36 +01:00
|
|
|
|
(things-to-copy))
|
gnu: vm: Rewrite helper functions as monadic functions.
* gnu/system/dmd.scm (host-name-service, nscd-service, mingetty-service,
syslog-service, guix-service, static-networking-service): Rewrite as
monadic functions.
(dmd-configuration-file): Use 'text-file' instead of
'add-text-to-store'.
* gnu/system/grub.scm (grub-configuration-file): Rewrite as a monadic
function.
* gnu/system/linux.scm (pam-services->directory): Likewise.
* gnu/system/shadow.scm (group-file, passwd-file, guix-build-accounts):
Likewise.
* gnu/system/vm.scm (expression->derivation-in-linux-vm, qemu-image,
union, system-qemu-image): Likewise.
2013-10-03 21:30:30 +02:00
|
|
|
|
|
|
|
|
|
;; Populate /dev.
|
|
|
|
|
(make-essential-device-nodes #:root "/fs")
|
|
|
|
|
|
|
|
|
|
;; Optionally, register the inputs in the image's store.
|
|
|
|
|
(let* ((guix (assoc-ref %build-inputs "guix"))
|
2014-01-31 14:36:48 +01:00
|
|
|
|
(register (and guix
|
|
|
|
|
(string-append guix
|
|
|
|
|
"/sbin/guix-register"))))
|
gnu: vm: Rewrite helper functions as monadic functions.
* gnu/system/dmd.scm (host-name-service, nscd-service, mingetty-service,
syslog-service, guix-service, static-networking-service): Rewrite as
monadic functions.
(dmd-configuration-file): Use 'text-file' instead of
'add-text-to-store'.
* gnu/system/grub.scm (grub-configuration-file): Rewrite as a monadic
function.
* gnu/system/linux.scm (pam-services->directory): Likewise.
* gnu/system/shadow.scm (group-file, passwd-file, guix-build-accounts):
Likewise.
* gnu/system/vm.scm (expression->derivation-in-linux-vm, qemu-image,
union, system-qemu-image): Likewise.
2013-10-03 21:30:30 +02:00
|
|
|
|
,@(if initialize-store?
|
|
|
|
|
(match inputs-to-copy
|
|
|
|
|
(((graph-files . _) ...)
|
|
|
|
|
(map (lambda (closure)
|
|
|
|
|
`(system* register "--prefix" "/fs"
|
|
|
|
|
,(string-append "/xchg/"
|
|
|
|
|
closure)))
|
|
|
|
|
graph-files)))
|
|
|
|
|
'(#f)))
|
|
|
|
|
|
|
|
|
|
;; Evaluate the POPULATE directives.
|
|
|
|
|
,@(let loop ((directives populate)
|
|
|
|
|
(statements '()))
|
|
|
|
|
(match directives
|
|
|
|
|
(()
|
|
|
|
|
(reverse statements))
|
|
|
|
|
((('directory name) rest ...)
|
|
|
|
|
(loop rest
|
|
|
|
|
(cons `(mkdir-p ,(string-append "/fs" name))
|
|
|
|
|
statements)))
|
|
|
|
|
((('directory name uid gid) rest ...)
|
|
|
|
|
(let ((dir (string-append "/fs" name)))
|
|
|
|
|
(loop rest
|
|
|
|
|
(cons* `(chown ,dir ,uid ,gid)
|
|
|
|
|
`(mkdir-p ,dir)
|
|
|
|
|
statements))))
|
|
|
|
|
(((new '-> old) rest ...)
|
|
|
|
|
(loop rest
|
|
|
|
|
(cons `(symlink ,old
|
|
|
|
|
,(string-append "/fs" new))
|
|
|
|
|
statements)))))
|
|
|
|
|
|
|
|
|
|
(and=> (assoc-ref %build-inputs "populate")
|
|
|
|
|
(lambda (populate)
|
|
|
|
|
(chdir "/fs")
|
|
|
|
|
(primitive-load populate)
|
|
|
|
|
(chdir "/")))
|
|
|
|
|
|
|
|
|
|
(display "clearing file timestamps...\n")
|
|
|
|
|
(for-each (lambda (file)
|
|
|
|
|
(let ((s (lstat file)))
|
|
|
|
|
;; XXX: Guile uses libc's 'utime' function
|
|
|
|
|
;; (not 'futime'), so the timestamp of
|
|
|
|
|
;; symlinks cannot be changed, and there
|
|
|
|
|
;; are symlinks here pointing to
|
|
|
|
|
;; /nix/store, which is the host,
|
|
|
|
|
;; read-only store.
|
|
|
|
|
(unless (eq? (stat:type s) 'symlink)
|
|
|
|
|
(utime file 0 0 0 0))))
|
|
|
|
|
(find-files "/fs" ".*"))
|
|
|
|
|
|
|
|
|
|
(and (zero?
|
|
|
|
|
(system* grub "--no-floppy"
|
|
|
|
|
"--boot-directory" "/fs/boot"
|
2014-01-31 01:43:16 +01:00
|
|
|
|
"/dev/sda"))
|
gnu: vm: Rewrite helper functions as monadic functions.
* gnu/system/dmd.scm (host-name-service, nscd-service, mingetty-service,
syslog-service, guix-service, static-networking-service): Rewrite as
monadic functions.
(dmd-configuration-file): Use 'text-file' instead of
'add-text-to-store'.
* gnu/system/grub.scm (grub-configuration-file): Rewrite as a monadic
function.
* gnu/system/linux.scm (pam-services->directory): Likewise.
* gnu/system/shadow.scm (group-file, passwd-file, guix-build-accounts):
Likewise.
* gnu/system/vm.scm (expression->derivation-in-linux-vm, qemu-image,
union, system-qemu-image): Likewise.
2013-10-03 21:30:30 +02:00
|
|
|
|
(zero? (system* umount "/fs"))
|
|
|
|
|
(reboot))))))))
|
|
|
|
|
#:system system
|
|
|
|
|
#:inputs `(("parted" ,parted)
|
|
|
|
|
("grub" ,grub)
|
|
|
|
|
("e2fsprogs" ,e2fsprogs)
|
|
|
|
|
|
|
|
|
|
;; For shell scripts.
|
|
|
|
|
("sed" ,(car (assoc-ref %final-inputs "sed")))
|
|
|
|
|
("grep" ,(car (assoc-ref %final-inputs "grep")))
|
|
|
|
|
("coreutils" ,(car (assoc-ref %final-inputs "coreutils")))
|
|
|
|
|
("findutils" ,(car (assoc-ref %final-inputs "findutils")))
|
|
|
|
|
("gawk" ,(car (assoc-ref %final-inputs "gawk")))
|
|
|
|
|
("util-linux" ,util-linux)
|
|
|
|
|
|
|
|
|
|
,@(if initialize-store?
|
|
|
|
|
`(("guix" ,guix))
|
|
|
|
|
'())
|
|
|
|
|
|
|
|
|
|
,@inputs-to-copy)
|
|
|
|
|
#:make-disk-image? #t
|
|
|
|
|
#:disk-image-size disk-image-size
|
|
|
|
|
#:references-graphs graph
|
|
|
|
|
#:modules '((guix build utils)
|
|
|
|
|
(guix build linux-initrd)))))
|
2013-02-16 03:28:26 +01:00
|
|
|
|
|
|
|
|
|
|
|
|
|
|
;;;
|
2013-09-11 20:08:53 +02:00
|
|
|
|
;;; Stand-alone VM image.
|
2013-02-16 03:28:26 +01:00
|
|
|
|
;;;
|
|
|
|
|
|
2014-01-31 14:36:48 +01:00
|
|
|
|
(define (operating-system-build-gid os)
|
|
|
|
|
"Return as a monadic value the group id for build users of OS, or #f."
|
|
|
|
|
(anym %store-monad
|
|
|
|
|
(lambda (service)
|
|
|
|
|
(and (equal? '(guix-daemon)
|
|
|
|
|
(service-provision service))
|
|
|
|
|
(match (service-user-groups service)
|
|
|
|
|
((group)
|
|
|
|
|
(user-group-id group)))))
|
|
|
|
|
(operating-system-services os)))
|
|
|
|
|
|
|
|
|
|
(define (operating-system-default-contents os)
|
|
|
|
|
"Return a list of directives suitable for 'system-qemu-image' describing the
|
|
|
|
|
basic contents of the root file system of OS."
|
2014-02-02 20:41:53 +01:00
|
|
|
|
(define (user-directories user)
|
|
|
|
|
(let ((home (user-account-home-directory user))
|
|
|
|
|
;; XXX: Deal with automatically allocated ids.
|
|
|
|
|
(uid (or (user-account-uid user) 0))
|
|
|
|
|
(gid (or (user-account-gid user) 0))
|
|
|
|
|
(root (string-append "/var/nix/profiles/per-user/"
|
|
|
|
|
(user-account-name user))))
|
|
|
|
|
`((directory ,root ,uid ,gid)
|
|
|
|
|
(directory ,home ,uid ,gid))))
|
|
|
|
|
|
2014-02-02 01:34:33 +01:00
|
|
|
|
(mlet* %store-monad ((os-drv (operating-system-derivation os))
|
|
|
|
|
(os-dir -> (derivation->output-path os-drv))
|
|
|
|
|
(build-gid (operating-system-build-gid os))
|
|
|
|
|
(profile (operating-system-profile-directory os)))
|
|
|
|
|
(return `((directory "/nix/store" 0 ,(or build-gid 0))
|
2014-01-31 14:36:48 +01:00
|
|
|
|
(directory "/etc")
|
|
|
|
|
(directory "/var/log") ; for dmd
|
|
|
|
|
(directory "/var/run/nscd")
|
|
|
|
|
(directory "/var/nix/gcroots")
|
|
|
|
|
("/var/nix/gcroots/system" -> ,os-dir)
|
2014-02-02 01:34:33 +01:00
|
|
|
|
(directory "/run")
|
|
|
|
|
("/run/current-system" -> ,profile)
|
|
|
|
|
(directory "/bin")
|
2014-02-02 20:41:53 +01:00
|
|
|
|
("/bin/sh" -> "/run/current-system/bin/bash")
|
2014-01-31 14:36:48 +01:00
|
|
|
|
(directory "/tmp")
|
|
|
|
|
(directory "/var/nix/profiles/per-user/root" 0 0)
|
2014-02-02 20:41:53 +01:00
|
|
|
|
|
2014-02-08 00:18:25 +01:00
|
|
|
|
(directory "/root" 0 0) ; an exception
|
2014-02-02 20:41:53 +01:00
|
|
|
|
,@(append-map user-directories
|
|
|
|
|
(operating-system-users os))))))
|
2014-01-31 14:36:48 +01:00
|
|
|
|
|
2014-02-19 21:10:12 +01:00
|
|
|
|
(define* (system-qemu-image os
|
2013-12-11 01:10:41 +01:00
|
|
|
|
#:key (disk-image-size (* 900 (expt 2 20))))
|
|
|
|
|
"Return the derivation of a QEMU image of DISK-IMAGE-SIZE bytes of the GNU
|
|
|
|
|
system as described by OS."
|
2013-12-06 23:26:51 +01:00
|
|
|
|
(mlet* %store-monad
|
2013-12-09 21:32:36 +01:00
|
|
|
|
((os-drv (operating-system-derivation os))
|
|
|
|
|
(os-dir -> (derivation->output-path os-drv))
|
|
|
|
|
(grub.cfg -> (string-append os-dir "/grub.cfg"))
|
2014-01-31 14:36:48 +01:00
|
|
|
|
(populate (operating-system-default-contents os)))
|
gnu: vm: Rewrite helper functions as monadic functions.
* gnu/system/dmd.scm (host-name-service, nscd-service, mingetty-service,
syslog-service, guix-service, static-networking-service): Rewrite as
monadic functions.
(dmd-configuration-file): Use 'text-file' instead of
'add-text-to-store'.
* gnu/system/grub.scm (grub-configuration-file): Rewrite as a monadic
function.
* gnu/system/linux.scm (pam-services->directory): Likewise.
* gnu/system/shadow.scm (group-file, passwd-file, guix-build-accounts):
Likewise.
* gnu/system/vm.scm (expression->derivation-in-linux-vm, qemu-image,
union, system-qemu-image): Likewise.
2013-10-03 21:30:30 +02:00
|
|
|
|
(qemu-image #:grub-configuration grub.cfg
|
|
|
|
|
#:populate populate
|
2013-12-11 01:10:41 +01:00
|
|
|
|
#:disk-image-size disk-image-size
|
gnu: vm: Rewrite helper functions as monadic functions.
* gnu/system/dmd.scm (host-name-service, nscd-service, mingetty-service,
syslog-service, guix-service, static-networking-service): Rewrite as
monadic functions.
(dmd-configuration-file): Use 'text-file' instead of
'add-text-to-store'.
* gnu/system/grub.scm (grub-configuration-file): Rewrite as a monadic
function.
* gnu/system/linux.scm (pam-services->directory): Likewise.
* gnu/system/shadow.scm (group-file, passwd-file, guix-build-accounts):
Likewise.
* gnu/system/vm.scm (expression->derivation-in-linux-vm, qemu-image,
union, system-qemu-image): Likewise.
2013-10-03 21:30:30 +02:00
|
|
|
|
#:initialize-store? #t
|
2013-12-09 21:32:36 +01:00
|
|
|
|
#:inputs-to-copy `(("system" ,os-drv)))))
|
2013-02-16 03:28:26 +01:00
|
|
|
|
|
2014-01-31 14:36:48 +01:00
|
|
|
|
(define* (system-qemu-image/shared-store
|
2014-02-19 21:10:12 +01:00
|
|
|
|
os
|
2014-01-31 14:36:48 +01:00
|
|
|
|
#:key (disk-image-size (* 15 (expt 2 20))))
|
|
|
|
|
"Return a derivation that builds a QEMU image of OS that shares its store
|
|
|
|
|
with the host."
|
|
|
|
|
(mlet* %store-monad
|
|
|
|
|
((os-drv (operating-system-derivation os))
|
|
|
|
|
(os-dir -> (derivation->output-path os-drv))
|
|
|
|
|
(grub.cfg -> (string-append os-dir "/grub.cfg"))
|
|
|
|
|
(populate (operating-system-default-contents os)))
|
|
|
|
|
;; TODO: Initialize the database so Guix can be used in the guest.
|
|
|
|
|
(qemu-image #:grub-configuration grub.cfg
|
|
|
|
|
#:populate populate
|
|
|
|
|
#:disk-image-size disk-image-size)))
|
|
|
|
|
|
|
|
|
|
(define* (system-qemu-image/shared-store-script
|
2014-02-19 21:10:12 +01:00
|
|
|
|
os
|
2014-01-31 14:36:48 +01:00
|
|
|
|
#:key
|
|
|
|
|
(qemu (package (inherit qemu)
|
|
|
|
|
;; FIXME/TODO: Use 9p instead of this hack.
|
|
|
|
|
(source (package-source qemu/smb-shares))))
|
|
|
|
|
(graphic? #t))
|
|
|
|
|
"Return a derivation that builds a script to run a virtual machine image of
|
|
|
|
|
OS that shares its store with the host."
|
|
|
|
|
(let* ((initrd (qemu-initrd #:mounts `((cifs "/store" ,(%store-prefix)))
|
|
|
|
|
#:volatile-root? #t))
|
|
|
|
|
(os (operating-system (inherit os) (initrd initrd))))
|
|
|
|
|
(define builder
|
|
|
|
|
(mlet %store-monad ((image (system-qemu-image/shared-store os))
|
|
|
|
|
(qemu (package-file qemu
|
|
|
|
|
"bin/qemu-system-x86_64"))
|
|
|
|
|
(bash (package-file bash "bin/sh"))
|
|
|
|
|
(kernel (package-file (operating-system-kernel os)
|
|
|
|
|
"bzImage"))
|
|
|
|
|
(initrd initrd)
|
|
|
|
|
(os-drv (operating-system-derivation os)))
|
|
|
|
|
(return `(let ((out (assoc-ref %outputs "out")))
|
|
|
|
|
(call-with-output-file out
|
|
|
|
|
(lambda (port)
|
|
|
|
|
(display
|
|
|
|
|
(string-append "#!" ,bash "
|
|
|
|
|
# TODO: -virtfs local,path=XXX,security_model=none,mount_tag=store
|
|
|
|
|
exec " ,qemu " -enable-kvm -no-reboot -net nic,model=virtio \
|
|
|
|
|
-net user,smb=$PWD \
|
|
|
|
|
-kernel " ,kernel " -initrd "
|
|
|
|
|
,(string-append (derivation->output-path initrd) "/initrd") " \
|
|
|
|
|
-append \"" ,(if graphic? "" "console=ttyS0 ")
|
|
|
|
|
"--load=" ,(derivation->output-path os-drv) "/boot --root=/dev/vda1\" \
|
|
|
|
|
-drive file=" ,(derivation->output-path image)
|
|
|
|
|
",if=virtio,cache=writeback,werror=report,readonly\n")
|
|
|
|
|
port)))
|
|
|
|
|
(chmod out #o555)
|
|
|
|
|
#t))))
|
|
|
|
|
|
|
|
|
|
(mlet %store-monad ((image (system-qemu-image/shared-store os))
|
|
|
|
|
(initrd initrd)
|
|
|
|
|
(qemu (package->derivation qemu))
|
|
|
|
|
(bash (package->derivation bash))
|
|
|
|
|
(os (operating-system-derivation os))
|
|
|
|
|
(builder builder))
|
|
|
|
|
(derivation-expression "run-vm.sh" builder
|
|
|
|
|
#:inputs `(("qemu" ,qemu)
|
|
|
|
|
("image" ,image)
|
|
|
|
|
("bash" ,bash)
|
|
|
|
|
("initrd" ,initrd)
|
|
|
|
|
("os" ,os))))))
|
|
|
|
|
|
2013-02-16 03:28:26 +01:00
|
|
|
|
;;; vm.scm ends here
|