2014-04-11 13:38:11 +02:00
|
|
|
;;; GNU Guix --- Functional package management for GNU
|
|
|
|
;;; Copyright © 2013, 2014 Ludovic Courtès <ludo@gnu.org>
|
|
|
|
;;;
|
|
|
|
;;; 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 10:47:05 +02:00
|
|
|
(define-module (gnu build vm)
|
2014-04-11 13:38:11 +02:00
|
|
|
#:use-module (guix build utils)
|
2014-09-04 23:05:12 +02:00
|
|
|
#:use-module (guix build store-copy)
|
2014-09-03 11:14:12 +02:00
|
|
|
#:use-module (gnu build linux-boot)
|
2014-09-03 10:47:05 +02:00
|
|
|
#:use-module (gnu build install)
|
2014-04-11 18:44:53 +02:00
|
|
|
#:use-module (ice-9 match)
|
2014-07-13 16:07:26 +02:00
|
|
|
#:use-module (ice-9 regex)
|
2014-04-11 18:44:53 +02:00
|
|
|
#:use-module (srfi srfi-26)
|
2014-07-13 16:07:26 +02:00
|
|
|
#:export (qemu-command
|
|
|
|
load-in-linux-vm
|
2014-05-21 23:31:46 +02:00
|
|
|
format-partition
|
|
|
|
initialize-root-partition
|
|
|
|
initialize-partition-table
|
2014-04-11 18:44:53 +02:00
|
|
|
initialize-hard-disk))
|
2014-04-11 13:38:11 +02:00
|
|
|
|
|
|
|
;;; Commentary:
|
|
|
|
;;;
|
|
|
|
;;; This module provides supporting code to run virtual machines and build
|
|
|
|
;;; virtual machine images using QEMU.
|
|
|
|
;;;
|
|
|
|
;;; Code:
|
|
|
|
|
2014-07-13 16:07:26 +02:00
|
|
|
(define* (qemu-command #:optional (system %host-type))
|
|
|
|
"Return the default name of the QEMU command for SYSTEM."
|
|
|
|
(let ((cpu (substring %host-type 0
|
|
|
|
(string-index %host-type #\-))))
|
|
|
|
(string-append "qemu-system-"
|
|
|
|
(if (string-match "^i[3456]86$" cpu)
|
|
|
|
"i386"
|
|
|
|
cpu))))
|
2014-04-11 13:38:11 +02: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 22:30:13 +02:00
|
|
|
(disk-image-format "qcow2")
|
2014-04-11 13:38:11 +02: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'."
|
2014-05-22 22:30:13 +02:00
|
|
|
(define image-file
|
|
|
|
(string-append "image." disk-image-format))
|
2014-04-11 13:38:11 +02:00
|
|
|
|
|
|
|
(when make-disk-image?
|
2014-05-22 22:30:13 +02:00
|
|
|
(unless (zero? (system* "qemu-img" "create" "-f" disk-image-format
|
|
|
|
image-file
|
2014-04-11 13:38:11 +02: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?
|
|
|
|
(apply system* qemu "-enable-kvm" "-nographic" "-no-reboot"
|
|
|
|
"-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)
|
|
|
|
(if make-disk-image?
|
2014-05-22 22:32:53 +02:00
|
|
|
`("-drive" ,(string-append "file=" image-file
|
|
|
|
",if=virtio"))
|
2014-04-11 13:38:11 +02:00
|
|
|
'())))
|
|
|
|
(error "qemu failed" qemu))
|
|
|
|
|
|
|
|
(if make-disk-image?
|
2014-05-22 22:30:13 +02:00
|
|
|
(copy-file image-file output)
|
2014-04-11 13:38:11 +02:00
|
|
|
(begin
|
|
|
|
(mkdir output)
|
|
|
|
(copy-recursively "xchg" output))))
|
|
|
|
|
2014-05-21 23:31:46 +02:00
|
|
|
(define* (initialize-partition-table device partition-size
|
2014-04-11 18:44:53 +02:00
|
|
|
#:key
|
2014-11-13 13:42:44 +01:00
|
|
|
bootable?
|
2014-04-11 18:44:53 +02:00
|
|
|
(label-type "msdos")
|
2014-05-21 23:31:46 +02:00
|
|
|
(offset (expt 2 20)))
|
2014-04-11 18:44:53 +02:00
|
|
|
"Create on DEVICE a partition table of type LABEL-TYPE, with a single
|
2014-11-13 13:42:44 +01:00
|
|
|
partition of PARTITION-SIZE bytes starting at OFFSET bytes. When BOOTABLE? is
|
|
|
|
true, set the bootable flag on the partition. Return #t on success."
|
2014-05-21 23:31:46 +02:00
|
|
|
(format #t "creating partition table with a ~a B partition...\n"
|
|
|
|
partition-size)
|
2014-11-13 13:42:44 +01:00
|
|
|
(unless (zero? (apply system* "parted" device "mklabel" label-type
|
|
|
|
"mkpart" "primary" "ext2"
|
|
|
|
(format #f "~aB" offset)
|
|
|
|
(format #f "~aB" partition-size)
|
|
|
|
(if bootable?
|
|
|
|
'("set" "1" "boot" "on")
|
|
|
|
'())))
|
2014-05-21 23:31:46 +02:00
|
|
|
(error "failed to create partition table")))
|
2014-04-11 18:44:53 +02:00
|
|
|
|
2014-05-15 22:55:14 +02:00
|
|
|
(define MS_BIND 4096) ; <sys/mounts.h> again!
|
|
|
|
|
2014-05-29 23:07:43 +02: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 23:31:46 +02:00
|
|
|
(format #t "creating ~a partition...\n" type)
|
2014-05-29 23:07:43 +02:00
|
|
|
(unless (zero? (apply system* (string-append "mkfs." type)
|
|
|
|
"-F" partition
|
|
|
|
(if label
|
|
|
|
`("-L" ,label)
|
|
|
|
'())))
|
2014-05-21 23:31:46 +02:00
|
|
|
(error "failed to create partition")))
|
2014-05-15 22:55:14 +02:00
|
|
|
|
2014-05-21 23:31:46 +02:00
|
|
|
(define* (initialize-root-partition target-directory
|
|
|
|
#:key copy-closures? register-closures?
|
2014-06-27 17:54:29 +02:00
|
|
|
closures system-directory)
|
2014-05-21 23:31:46 +02:00
|
|
|
"Initialize the root partition mounted at TARGET-DIRECTORY."
|
2014-05-15 22:55:14 +02:00
|
|
|
(define target-store
|
|
|
|
(string-append target-directory (%store-directory)))
|
|
|
|
|
|
|
|
(when copy-closures?
|
2014-04-11 18:44:53 +02:00
|
|
|
;; Populate the store.
|
2014-05-15 22:55:14 +02:00
|
|
|
(populate-store (map (cut string-append "/xchg/" <>) closures)
|
|
|
|
target-directory))
|
2014-04-11 18:44:53 +02:00
|
|
|
|
|
|
|
;; Populate /dev.
|
2014-05-15 22:55:14 +02:00
|
|
|
(make-essential-device-nodes #:root target-directory)
|
2014-04-11 18:44:53 +02:00
|
|
|
|
|
|
|
;; Optionally, register the inputs in the image's store.
|
2014-05-15 22:55:14 +02:00
|
|
|
(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")
|
2014-04-11 18:44:53 +02:00
|
|
|
(for-each (lambda (closure)
|
2014-05-15 22:55:14 +02:00
|
|
|
(register-closure target-directory
|
|
|
|
(string-append "/xchg/" closure)))
|
|
|
|
closures)
|
|
|
|
(unless copy-closures?
|
|
|
|
(system* "umount" target-store)))
|
2014-04-11 18:44:53 +02:00
|
|
|
|
2014-05-21 23:31:46 +02:00
|
|
|
;; Add the non-store directories and files.
|
2014-05-15 22:55:14 +02:00
|
|
|
(display "populating...\n")
|
2014-06-27 17:54:29 +02:00
|
|
|
(populate-root-file-system system-directory target-directory))
|
2014-05-21 23:31:46 +02:00
|
|
|
|
2014-12-04 23:52:28 +01:00
|
|
|
(define (register-grub.cfg-root target)
|
|
|
|
"On file system TARGET, make '/boot/grub/grub.cfg' an indirect GC root."
|
|
|
|
(define hash
|
|
|
|
;; XXX: Believe it or not, this is that nix-base32-encoded SHA1 of the
|
|
|
|
;; string "/boot/grub/grub.cfg". We need it here, but gcrypt isn't
|
|
|
|
;; available (a random hash would do as well, though.)
|
|
|
|
"kv0yq1d48kavqfhjfzvc4lcyazx2mqhv")
|
|
|
|
|
|
|
|
(let ((directory (string-append target "/var/guix/gcroots/auto")))
|
|
|
|
(mkdir-p directory)
|
|
|
|
(symlink "/boot/grub/grub.cfg" (string-append directory "/" hash))))
|
|
|
|
|
2014-05-21 23:31:46 +02:00
|
|
|
(define* (initialize-hard-disk device
|
|
|
|
#:key
|
2014-06-27 17:54:29 +02:00
|
|
|
system-directory
|
2014-05-21 23:31:46 +02:00
|
|
|
grub.cfg
|
|
|
|
disk-image-size
|
|
|
|
(file-system-type "ext4")
|
2014-05-29 23:07:43 +02:00
|
|
|
file-system-label
|
2014-05-21 23:31:46 +02:00
|
|
|
(closures '())
|
|
|
|
copy-closures?
|
2014-11-13 13:42:44 +01:00
|
|
|
(bootable? #t)
|
2014-05-21 23:31:46 +02:00
|
|
|
(register-closures? #t))
|
2014-05-29 23:07:43 +02:00
|
|
|
"Initialize DEVICE, a disk of DISK-IMAGE-SIZE bytes, with a FILE-SYSTEM-TYPE
|
|
|
|
partition with (optionally) FILE-SYSTEM-LABEL as its volume name, and with
|
2014-11-13 13:42:44 +01:00
|
|
|
GRUB installed. When BOOTABLE? is true, set the bootable flag on that
|
|
|
|
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."
|
2014-05-21 23:31:46 +02:00
|
|
|
(define target-directory
|
|
|
|
"/fs")
|
|
|
|
|
|
|
|
(define partition
|
|
|
|
(string-append device "1"))
|
|
|
|
|
|
|
|
(initialize-partition-table device
|
2014-11-13 13:42:44 +01:00
|
|
|
(- disk-image-size (* 5 (expt 2 20)))
|
|
|
|
#:bootable? bootable?)
|
2014-05-21 23:31:46 +02:00
|
|
|
|
2014-05-29 23:07:43 +02:00
|
|
|
(format-partition partition file-system-type
|
|
|
|
#:label file-system-label)
|
2014-05-21 23:31:46 +02:00
|
|
|
|
|
|
|
(display "mounting partition...\n")
|
|
|
|
(mkdir target-directory)
|
|
|
|
(mount partition target-directory file-system-type)
|
|
|
|
|
|
|
|
(initialize-root-partition target-directory
|
2014-06-27 17:54:29 +02:00
|
|
|
#:system-directory system-directory
|
2014-05-21 23:31:46 +02:00
|
|
|
#:copy-closures? copy-closures?
|
|
|
|
#:register-closures? register-closures?
|
|
|
|
#:closures closures)
|
2014-04-11 18:44:53 +02:00
|
|
|
|
2014-05-21 23:31:46 +02:00
|
|
|
(install-grub grub.cfg device target-directory)
|
2014-04-11 18:44:53 +02:00
|
|
|
|
2014-12-04 23:52:28 +01:00
|
|
|
;; Register $target/boot/grub/grub.cfg as an indirect root, so that GRUB.CFG
|
|
|
|
;; is not reclaimed.
|
|
|
|
(register-grub.cfg-root target-directory)
|
|
|
|
|
2014-05-18 19:11:53 +02:00
|
|
|
;; 'guix-register' resets timestamps and everything, so no need to do it
|
|
|
|
;; once more in that case.
|
|
|
|
(unless register-closures?
|
|
|
|
(reset-timestamps target-directory))
|
2014-04-11 18:44:53 +02:00
|
|
|
|
2014-05-15 22:55:14 +02:00
|
|
|
(zero? (system* "umount" target-directory)))
|
2014-04-11 18:44:53 +02:00
|
|
|
|
2014-04-11 13:38:11 +02:00
|
|
|
;;; vm.scm ends here
|