2014-04-11 11:38:11 +00:00
|
|
|
|
;;; GNU Guix --- Functional package management for GNU
|
2016-06-20 21:03:08 +00:00
|
|
|
|
;;; Copyright © 2013, 2014, 2015, 2016 Ludovic Courtès <ludo@gnu.org>
|
2016-02-22 19:23:14 +00:00
|
|
|
|
;;; Copyright © 2016 Christopher Allan Webber <cwebber@dustycloud.org>
|
|
|
|
|
;;; Copyright © 2016 Leo Famulari <leo@famulari.name>
|
2014-04-11 11:38:11 +00: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-09-03 08:47:05 +00:00
|
|
|
|
(define-module (gnu build vm)
|
2014-04-11 11:38:11 +00:00
|
|
|
|
#:use-module (guix build utils)
|
2014-09-04 21:05:12 +00:00
|
|
|
|
#:use-module (guix build store-copy)
|
2014-09-03 09:14:12 +00:00
|
|
|
|
#:use-module (gnu build linux-boot)
|
2014-09-03 08:47:05 +00:00
|
|
|
|
#:use-module (gnu build install)
|
2015-07-25 21:57:52 +00:00
|
|
|
|
#:use-module (guix records)
|
2014-04-11 16:44:53 +00:00
|
|
|
|
#:use-module (ice-9 match)
|
2014-07-13 14:07:26 +00:00
|
|
|
|
#:use-module (ice-9 regex)
|
2015-07-25 21:57:52 +00:00
|
|
|
|
#:use-module (srfi srfi-1)
|
|
|
|
|
#:use-module (srfi srfi-9)
|
2014-04-11 16:44:53 +00:00
|
|
|
|
#:use-module (srfi srfi-26)
|
2014-07-13 14:07:26 +00:00
|
|
|
|
#:export (qemu-command
|
|
|
|
|
load-in-linux-vm
|
2014-05-21 21:31:46 +00:00
|
|
|
|
format-partition
|
2015-07-25 21:57:52 +00:00
|
|
|
|
|
|
|
|
|
partition
|
|
|
|
|
partition?
|
|
|
|
|
partition-device
|
|
|
|
|
partition-size
|
|
|
|
|
partition-file-system
|
|
|
|
|
partition-label
|
|
|
|
|
partition-bootable?
|
|
|
|
|
partition-initializer
|
|
|
|
|
|
|
|
|
|
root-partition-initializer
|
2014-05-21 21:31:46 +00:00
|
|
|
|
initialize-partition-table
|
2014-04-11 16:44:53 +00:00
|
|
|
|
initialize-hard-disk))
|
2014-04-11 11:38:11 +00:00
|
|
|
|
|
|
|
|
|
;;; Commentary:
|
|
|
|
|
;;;
|
|
|
|
|
;;; This module provides supporting code to run virtual machines and build
|
|
|
|
|
;;; virtual machine images using QEMU.
|
|
|
|
|
;;;
|
|
|
|
|
;;; Code:
|
|
|
|
|
|
2014-07-13 14:07:26 +00:00
|
|
|
|
(define* (qemu-command #:optional (system %host-type))
|
|
|
|
|
"Return the default name of the QEMU command for SYSTEM."
|
2016-06-20 21:03:08 +00:00
|
|
|
|
(let ((cpu (substring system 0
|
|
|
|
|
(string-index system #\-))))
|
2014-07-13 14:07:26 +00:00
|
|
|
|
(string-append "qemu-system-"
|
|
|
|
|
(if (string-match "^i[3456]86$" cpu)
|
|
|
|
|
"i386"
|
|
|
|
|
cpu))))
|
2014-04-11 11:38:11 +00:00
|
|
|
|
|
|
|
|
|
(define* (load-in-linux-vm builder
|
|
|
|
|
#:key
|
|
|
|
|
output
|
|
|
|
|
(qemu (qemu-command)) (memory-size 512)
|
|
|
|
|
linux initrd
|
|
|
|
|
make-disk-image? (disk-image-size 100)
|
2014-05-22 20:30:13 +00:00
|
|
|
|
(disk-image-format "qcow2")
|
2014-04-11 11:38:11 +00:00
|
|
|
|
(references-graphs '()))
|
|
|
|
|
"Run BUILDER, a Scheme file, into a VM running LINUX with INITRD, and copy
|
|
|
|
|
the result to OUTPUT.
|
|
|
|
|
|
|
|
|
|
When MAKE-DISK-IMAGE? is true, OUTPUT will contain a VM image of
|
|
|
|
|
DISK-IMAGE-SIZE MiB resulting from the execution of BUILDER, which may access
|
|
|
|
|
it via /dev/hda.
|
|
|
|
|
|
|
|
|
|
REFERENCES-GRAPHS can specify a list of reference-graph files as produced by
|
|
|
|
|
the #:references-graphs parameter of 'derivation'."
|
|
|
|
|
(when make-disk-image?
|
2014-05-22 20:30:13 +00:00
|
|
|
|
(unless (zero? (system* "qemu-img" "create" "-f" disk-image-format
|
2016-11-28 21:56:41 +00:00
|
|
|
|
output
|
2014-04-11 11:38:11 +00:00
|
|
|
|
(number->string disk-image-size)))
|
|
|
|
|
(error "qemu-img failed")))
|
|
|
|
|
|
|
|
|
|
(mkdir "xchg")
|
|
|
|
|
|
|
|
|
|
(match references-graphs
|
|
|
|
|
((graph-files ...)
|
|
|
|
|
;; Copy the reference-graph files under xchg/ so EXP can access it.
|
|
|
|
|
(map (lambda (file)
|
|
|
|
|
(copy-file file (string-append "xchg/" file)))
|
|
|
|
|
graph-files))
|
|
|
|
|
(_ #f))
|
|
|
|
|
|
|
|
|
|
(unless (zero?
|
2016-02-22 19:23:14 +00:00
|
|
|
|
(apply system* qemu "-nographic" "-no-reboot"
|
2014-04-11 11:38:11 +00:00
|
|
|
|
"-m" (number->string memory-size)
|
|
|
|
|
"-net" "nic,model=virtio"
|
|
|
|
|
"-virtfs"
|
|
|
|
|
(string-append "local,id=store_dev,path="
|
|
|
|
|
(%store-directory)
|
|
|
|
|
",security_model=none,mount_tag=store")
|
|
|
|
|
"-virtfs"
|
|
|
|
|
(string-append "local,id=xchg_dev,path=xchg"
|
|
|
|
|
",security_model=none,mount_tag=xchg")
|
|
|
|
|
"-kernel" linux
|
|
|
|
|
"-initrd" initrd
|
|
|
|
|
"-append" (string-append "console=ttyS0 --load="
|
|
|
|
|
builder)
|
2016-02-22 19:23:14 +00:00
|
|
|
|
(append
|
|
|
|
|
(if make-disk-image?
|
2016-11-28 21:56:41 +00:00
|
|
|
|
`("-drive" ,(string-append "file=" output
|
2016-02-22 19:23:14 +00:00
|
|
|
|
",if=virtio"))
|
|
|
|
|
'())
|
|
|
|
|
;; Only enable kvm if we see /dev/kvm exists.
|
|
|
|
|
;; This allows users without hardware virtualization to still
|
|
|
|
|
;; use these commands.
|
|
|
|
|
(if (file-exists? "/dev/kvm")
|
|
|
|
|
'("-enable-kvm")
|
|
|
|
|
'()))))
|
2014-04-11 11:38:11 +00:00
|
|
|
|
(error "qemu failed" qemu))
|
|
|
|
|
|
2016-11-28 21:56:41 +00:00
|
|
|
|
;; When MAKE-DISK-IMAGE? is true, the image is in OUTPUT already.
|
|
|
|
|
(unless make-disk-image?
|
|
|
|
|
(mkdir output)
|
|
|
|
|
(copy-recursively "xchg" output)))
|
2014-04-11 11:38:11 +00:00
|
|
|
|
|
2015-07-25 21:57:52 +00:00
|
|
|
|
|
|
|
|
|
;;;
|
|
|
|
|
;;; Partitions.
|
|
|
|
|
;;;
|
|
|
|
|
|
|
|
|
|
(define-record-type* <partition> partition make-partition
|
|
|
|
|
partition?
|
|
|
|
|
(device partition-device (default #f))
|
|
|
|
|
(size partition-size)
|
|
|
|
|
(file-system partition-file-system (default "ext4"))
|
|
|
|
|
(label partition-label (default #f))
|
|
|
|
|
(bootable? partition-bootable? (default #f))
|
|
|
|
|
(initializer partition-initializer (default (const #t))))
|
|
|
|
|
|
|
|
|
|
(define (fold2 proc seed1 seed2 lst) ;TODO: factorize
|
|
|
|
|
"Like `fold', but with a single list and two seeds."
|
|
|
|
|
(let loop ((result1 seed1)
|
|
|
|
|
(result2 seed2)
|
|
|
|
|
(lst lst))
|
|
|
|
|
(if (null? lst)
|
|
|
|
|
(values result1 result2)
|
|
|
|
|
(call-with-values
|
|
|
|
|
(lambda () (proc (car lst) result1 result2))
|
|
|
|
|
(lambda (result1 result2)
|
|
|
|
|
(loop result1 result2 (cdr lst)))))))
|
|
|
|
|
|
|
|
|
|
(define* (initialize-partition-table device partitions
|
2014-04-11 16:44:53 +00:00
|
|
|
|
#:key
|
|
|
|
|
(label-type "msdos")
|
2014-05-21 21:31:46 +00:00
|
|
|
|
(offset (expt 2 20)))
|
2015-07-25 21:57:52 +00:00
|
|
|
|
"Create on DEVICE a partition table of type LABEL-TYPE, containing the given
|
|
|
|
|
PARTITIONS (a list of <partition> objects), starting at OFFSET bytes. On
|
|
|
|
|
success, return PARTITIONS with their 'device' field changed to reflect their
|
|
|
|
|
actual /dev name based on DEVICE."
|
|
|
|
|
(define (partition-options part offset index)
|
|
|
|
|
(cons* "mkpart" "primary" "ext2"
|
|
|
|
|
(format #f "~aB" offset)
|
|
|
|
|
(format #f "~aB" (+ offset (partition-size part)))
|
|
|
|
|
(if (partition-bootable? part)
|
|
|
|
|
`("set" ,(number->string index) "boot" "on")
|
|
|
|
|
'())))
|
|
|
|
|
|
|
|
|
|
(define (options partitions offset)
|
|
|
|
|
(let loop ((partitions partitions)
|
|
|
|
|
(offset offset)
|
|
|
|
|
(index 1)
|
|
|
|
|
(result '()))
|
|
|
|
|
(match partitions
|
|
|
|
|
(()
|
|
|
|
|
(concatenate (reverse result)))
|
|
|
|
|
((head tail ...)
|
|
|
|
|
(loop tail
|
|
|
|
|
;; Leave one sector (512B) between partitions to placate
|
|
|
|
|
;; Parted.
|
|
|
|
|
(+ offset 512 (partition-size head))
|
|
|
|
|
(+ 1 index)
|
|
|
|
|
(cons (partition-options head offset index)
|
|
|
|
|
result))))))
|
|
|
|
|
|
|
|
|
|
(format #t "creating partition table with ~a partitions...\n"
|
|
|
|
|
(length partitions))
|
|
|
|
|
(unless (zero? (apply system* "parted" "--script"
|
|
|
|
|
device "mklabel" label-type
|
|
|
|
|
(options partitions offset)))
|
|
|
|
|
(error "failed to create partition table"))
|
|
|
|
|
|
|
|
|
|
;; Set the 'device' field of each partition.
|
|
|
|
|
(reverse
|
|
|
|
|
(fold2 (lambda (part result index)
|
|
|
|
|
(values (cons (partition
|
|
|
|
|
(inherit part)
|
|
|
|
|
(device (string-append device
|
|
|
|
|
(number->string index))))
|
|
|
|
|
result)
|
|
|
|
|
(+ 1 index)))
|
|
|
|
|
'()
|
|
|
|
|
1
|
|
|
|
|
partitions)))
|
2014-04-11 16:44:53 +00:00
|
|
|
|
|
2014-05-15 20:55:14 +00:00
|
|
|
|
(define MS_BIND 4096) ; <sys/mounts.h> again!
|
|
|
|
|
|
2014-05-29 21:07:43 +00:00
|
|
|
|
(define* (format-partition partition type
|
|
|
|
|
#:key label)
|
|
|
|
|
"Create a file system TYPE on PARTITION. If LABEL is true, use that as the
|
|
|
|
|
volume name."
|
2014-05-21 21:31:46 +00:00
|
|
|
|
(format #t "creating ~a partition...\n" type)
|
2014-05-29 21:07:43 +00:00
|
|
|
|
(unless (zero? (apply system* (string-append "mkfs." type)
|
|
|
|
|
"-F" partition
|
|
|
|
|
(if label
|
|
|
|
|
`("-L" ,label)
|
|
|
|
|
'())))
|
2014-05-21 21:31:46 +00:00
|
|
|
|
(error "failed to create partition")))
|
2014-05-15 20:55:14 +00:00
|
|
|
|
|
2015-07-25 21:57:52 +00:00
|
|
|
|
(define (initialize-partition partition)
|
|
|
|
|
"Format PARTITION, a <partition> object with a non-#f 'device' field, mount
|
|
|
|
|
it, run its initializer, and unmount it."
|
|
|
|
|
(let ((target "/fs"))
|
|
|
|
|
(format-partition (partition-device partition)
|
|
|
|
|
(partition-file-system partition)
|
|
|
|
|
#:label (partition-label partition))
|
|
|
|
|
(mkdir-p target)
|
|
|
|
|
(mount (partition-device partition) target
|
|
|
|
|
(partition-file-system partition))
|
|
|
|
|
|
|
|
|
|
((partition-initializer partition) target)
|
|
|
|
|
|
|
|
|
|
(umount target)
|
|
|
|
|
partition))
|
|
|
|
|
|
|
|
|
|
(define* (root-partition-initializer #:key (closures '())
|
|
|
|
|
copy-closures?
|
|
|
|
|
(register-closures? #t)
|
|
|
|
|
system-directory)
|
|
|
|
|
"Return a procedure to initialize a root partition.
|
|
|
|
|
|
|
|
|
|
If REGISTER-CLOSURES? is true, register all of CLOSURES is the partition's
|
|
|
|
|
store. If COPY-CLOSURES? is true, copy all of CLOSURES to the partition.
|
|
|
|
|
SYSTEM-DIRECTORY is the name of the directory of the 'system' derivation."
|
|
|
|
|
(lambda (target)
|
|
|
|
|
(define target-store
|
|
|
|
|
(string-append target (%store-directory)))
|
|
|
|
|
|
|
|
|
|
(when copy-closures?
|
|
|
|
|
;; Populate the store.
|
|
|
|
|
(populate-store (map (cut string-append "/xchg/" <>) closures)
|
|
|
|
|
target))
|
|
|
|
|
|
|
|
|
|
;; Populate /dev.
|
|
|
|
|
(make-essential-device-nodes #:root target)
|
|
|
|
|
|
|
|
|
|
;; Optionally, register the inputs in the image's store.
|
|
|
|
|
(when register-closures?
|
|
|
|
|
(unless copy-closures?
|
|
|
|
|
;; XXX: 'guix-register' wants to palpate the things it registers, so
|
|
|
|
|
;; bind-mount the store on the target.
|
|
|
|
|
(mkdir-p target-store)
|
|
|
|
|
(mount (%store-directory) target-store "" MS_BIND))
|
|
|
|
|
|
|
|
|
|
(display "registering closures...\n")
|
|
|
|
|
(for-each (lambda (closure)
|
|
|
|
|
(register-closure target
|
|
|
|
|
(string-append "/xchg/" closure)))
|
|
|
|
|
closures)
|
|
|
|
|
(unless copy-closures?
|
|
|
|
|
(umount target-store)))
|
|
|
|
|
|
|
|
|
|
;; Add the non-store directories and files.
|
|
|
|
|
(display "populating...\n")
|
|
|
|
|
(populate-root-file-system system-directory target)
|
|
|
|
|
|
|
|
|
|
;; 'guix-register' resets timestamps and everything, so no need to do it
|
|
|
|
|
;; once more in that case.
|
|
|
|
|
(unless register-closures?
|
|
|
|
|
(reset-timestamps target))))
|
2014-05-21 21:31:46 +00:00
|
|
|
|
|
2014-12-09 10:06:22 +00:00
|
|
|
|
(define (register-grub.cfg-root target grub.cfg)
|
|
|
|
|
"On file system TARGET, register GRUB.CFG as a GC root."
|
|
|
|
|
(let ((directory (string-append target "/var/guix/gcroots")))
|
2014-12-04 22:52:28 +00:00
|
|
|
|
(mkdir-p directory)
|
2014-12-09 10:06:22 +00:00
|
|
|
|
(symlink grub.cfg (string-append directory "/grub.cfg"))))
|
2014-12-04 22:52:28 +00:00
|
|
|
|
|
2014-05-21 21:31:46 +00:00
|
|
|
|
(define* (initialize-hard-disk device
|
|
|
|
|
#:key
|
|
|
|
|
grub.cfg
|
2015-07-25 21:57:52 +00:00
|
|
|
|
(partitions '()))
|
|
|
|
|
"Initialize DEVICE as a disk containing all the <partition> objects listed
|
|
|
|
|
in PARTITIONS, and using GRUB.CFG as its bootloader configuration file.
|
2014-05-21 21:31:46 +00:00
|
|
|
|
|
2015-07-25 21:57:52 +00:00
|
|
|
|
Each partition is initialized by calling its 'initializer' procedure,
|
|
|
|
|
passing it a directory name where it is mounted."
|
|
|
|
|
(let* ((partitions (initialize-partition-table device partitions))
|
|
|
|
|
(root (find partition-bootable? partitions))
|
|
|
|
|
(target "/fs"))
|
|
|
|
|
(unless root
|
|
|
|
|
(error "no bootable partition specified" partitions))
|
2014-04-11 16:44:53 +00:00
|
|
|
|
|
2015-07-25 21:57:52 +00:00
|
|
|
|
(for-each initialize-partition partitions)
|
2014-04-11 16:44:53 +00:00
|
|
|
|
|
2015-07-25 21:57:52 +00:00
|
|
|
|
(display "mounting root partition...\n")
|
|
|
|
|
(mkdir-p target)
|
|
|
|
|
(mount (partition-device root) target (partition-file-system root))
|
|
|
|
|
(install-grub grub.cfg device target)
|
2014-12-04 22:52:28 +00:00
|
|
|
|
|
2015-07-25 21:57:52 +00:00
|
|
|
|
;; Register GRUB.CFG as a GC root.
|
|
|
|
|
(register-grub.cfg-root target grub.cfg)
|
2014-04-11 16:44:53 +00:00
|
|
|
|
|
2015-07-25 21:57:52 +00:00
|
|
|
|
(umount target)))
|
2014-04-11 16:44:53 +00:00
|
|
|
|
|
2014-04-11 11:38:11 +00:00
|
|
|
|
;;; vm.scm ends here
|