2014-04-11 07:38:11 -04: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 04:47:05 -04:00
|
|
|
(define-module (gnu build vm)
|
2014-04-11 07:38:11 -04:00
|
|
|
#:use-module (guix build utils)
|
2014-09-03 04:47:05 -04:00
|
|
|
#:use-module (gnu build linux-initrd)
|
|
|
|
#:use-module (gnu build install)
|
2014-04-11 12:44:53 -04:00
|
|
|
#:use-module (ice-9 match)
|
2014-07-13 10:07:26 -04:00
|
|
|
#:use-module (ice-9 regex)
|
2014-04-11 12:44:53 -04:00
|
|
|
#:use-module (ice-9 rdelim)
|
|
|
|
#:use-module (srfi srfi-1)
|
|
|
|
#:use-module (srfi srfi-26)
|
2014-07-13 10:07:26 -04:00
|
|
|
#:export (qemu-command
|
|
|
|
load-in-linux-vm
|
2014-05-21 17:31:46 -04:00
|
|
|
format-partition
|
|
|
|
initialize-root-partition
|
|
|
|
initialize-partition-table
|
2014-04-11 12:44:53 -04:00
|
|
|
initialize-hard-disk))
|
2014-04-11 07:38:11 -04:00
|
|
|
|
|
|
|
;;; Commentary:
|
|
|
|
;;;
|
|
|
|
;;; This module provides supporting code to run virtual machines and build
|
|
|
|
;;; virtual machine images using QEMU.
|
|
|
|
;;;
|
|
|
|
;;; Code:
|
|
|
|
|
2014-07-13 10:07:26 -04: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 07:38:11 -04: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 16:30:13 -04:00
|
|
|
(disk-image-format "qcow2")
|
2014-04-11 07:38:11 -04: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 16:30:13 -04:00
|
|
|
(define image-file
|
|
|
|
(string-append "image." disk-image-format))
|
2014-04-11 07:38:11 -04:00
|
|
|
|
|
|
|
(when make-disk-image?
|
2014-05-22 16:30:13 -04:00
|
|
|
(unless (zero? (system* "qemu-img" "create" "-f" disk-image-format
|
|
|
|
image-file
|
2014-04-11 07:38:11 -04: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 16:32:53 -04:00
|
|
|
`("-drive" ,(string-append "file=" image-file
|
|
|
|
",if=virtio"))
|
2014-04-11 07:38:11 -04:00
|
|
|
'())))
|
|
|
|
(error "qemu failed" qemu))
|
|
|
|
|
|
|
|
(if make-disk-image?
|
2014-05-22 16:30:13 -04:00
|
|
|
(copy-file image-file output)
|
2014-04-11 07:38:11 -04:00
|
|
|
(begin
|
|
|
|
(mkdir output)
|
|
|
|
(copy-recursively "xchg" output))))
|
|
|
|
|
2014-04-11 12:44:53 -04: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)))))
|
|
|
|
|
2014-05-21 17:31:46 -04:00
|
|
|
(define* (initialize-partition-table device partition-size
|
2014-04-11 12:44:53 -04:00
|
|
|
#:key
|
|
|
|
(label-type "msdos")
|
2014-05-21 17:31:46 -04:00
|
|
|
(offset (expt 2 20)))
|
2014-04-11 12:44:53 -04:00
|
|
|
"Create on DEVICE a partition table of type LABEL-TYPE, with a single
|
2014-05-21 17:31:46 -04:00
|
|
|
partition of PARTITION-SIZE bytes starting at OFFSET bytes. Return #t on
|
|
|
|
success."
|
|
|
|
(format #t "creating partition table with a ~a B partition...\n"
|
|
|
|
partition-size)
|
|
|
|
(unless (zero? (system* "parted" device "mklabel" label-type
|
|
|
|
"mkpart" "primary" "ext2"
|
|
|
|
(format #f "~aB" offset)
|
|
|
|
(format #f "~aB" partition-size)))
|
|
|
|
(error "failed to create partition table")))
|
2014-04-11 12:44:53 -04:00
|
|
|
|
|
|
|
(define* (populate-store reference-graphs target)
|
|
|
|
"Populate the store under directory TARGET with the items specified in
|
|
|
|
REFERENCE-GRAPHS, a list of reference-graph files."
|
|
|
|
(define store
|
|
|
|
(string-append target (%store-directory)))
|
|
|
|
|
|
|
|
(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))
|
|
|
|
|
|
|
|
(delete-duplicates (append-map graph-from-file reference-graphs)))
|
|
|
|
|
|
|
|
(mkdir-p store)
|
|
|
|
(chmod store #o1775)
|
|
|
|
(for-each (lambda (thing)
|
|
|
|
(copy-recursively thing
|
|
|
|
(string-append target thing)))
|
|
|
|
(things-to-copy)))
|
|
|
|
|
2014-05-15 16:55:14 -04:00
|
|
|
(define MS_BIND 4096) ; <sys/mounts.h> again!
|
|
|
|
|
2014-05-29 17:07:43 -04: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 17:31:46 -04:00
|
|
|
(format #t "creating ~a partition...\n" type)
|
2014-05-29 17:07:43 -04:00
|
|
|
(unless (zero? (apply system* (string-append "mkfs." type)
|
|
|
|
"-F" partition
|
|
|
|
(if label
|
|
|
|
`("-L" ,label)
|
|
|
|
'())))
|
2014-05-21 17:31:46 -04:00
|
|
|
(error "failed to create partition")))
|
2014-05-15 16:55:14 -04:00
|
|
|
|
2014-05-21 17:31:46 -04:00
|
|
|
(define* (initialize-root-partition target-directory
|
|
|
|
#:key copy-closures? register-closures?
|
2014-06-27 11:54:29 -04:00
|
|
|
closures system-directory)
|
2014-05-21 17:31:46 -04:00
|
|
|
"Initialize the root partition mounted at TARGET-DIRECTORY."
|
2014-05-15 16:55:14 -04:00
|
|
|
(define target-store
|
|
|
|
(string-append target-directory (%store-directory)))
|
|
|
|
|
|
|
|
(when copy-closures?
|
2014-04-11 12:44:53 -04:00
|
|
|
;; Populate the store.
|
2014-05-15 16:55:14 -04:00
|
|
|
(populate-store (map (cut string-append "/xchg/" <>) closures)
|
|
|
|
target-directory))
|
2014-04-11 12:44:53 -04:00
|
|
|
|
|
|
|
;; Populate /dev.
|
2014-05-15 16:55:14 -04:00
|
|
|
(make-essential-device-nodes #:root target-directory)
|
2014-04-11 12:44:53 -04:00
|
|
|
|
|
|
|
;; Optionally, register the inputs in the image's store.
|
2014-05-15 16:55:14 -04: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 12:44:53 -04:00
|
|
|
(for-each (lambda (closure)
|
2014-05-15 16:55:14 -04:00
|
|
|
(register-closure target-directory
|
|
|
|
(string-append "/xchg/" closure)))
|
|
|
|
closures)
|
|
|
|
(unless copy-closures?
|
|
|
|
(system* "umount" target-store)))
|
2014-04-11 12:44:53 -04:00
|
|
|
|
2014-05-21 17:31:46 -04:00
|
|
|
;; Add the non-store directories and files.
|
2014-05-15 16:55:14 -04:00
|
|
|
(display "populating...\n")
|
2014-06-27 11:54:29 -04:00
|
|
|
(populate-root-file-system system-directory target-directory))
|
2014-05-21 17:31:46 -04:00
|
|
|
|
|
|
|
(define* (initialize-hard-disk device
|
|
|
|
#:key
|
2014-06-27 11:54:29 -04:00
|
|
|
system-directory
|
2014-05-21 17:31:46 -04:00
|
|
|
grub.cfg
|
|
|
|
disk-image-size
|
|
|
|
(file-system-type "ext4")
|
2014-05-29 17:07:43 -04:00
|
|
|
file-system-label
|
2014-05-21 17:31:46 -04:00
|
|
|
(closures '())
|
|
|
|
copy-closures?
|
|
|
|
(register-closures? #t))
|
2014-05-29 17:07:43 -04: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
|
|
|
|
GRUB installed. 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
|
2014-06-27 11:54:29 -04:00
|
|
|
partition. SYSTEM-DIRECTORY is the name of the directory of the 'system'
|
|
|
|
derivation."
|
2014-05-21 17:31:46 -04:00
|
|
|
(define target-directory
|
|
|
|
"/fs")
|
|
|
|
|
|
|
|
(define partition
|
|
|
|
(string-append device "1"))
|
|
|
|
|
|
|
|
(initialize-partition-table device
|
|
|
|
(- disk-image-size (* 5 (expt 2 20))))
|
|
|
|
|
2014-05-29 17:07:43 -04:00
|
|
|
(format-partition partition file-system-type
|
|
|
|
#:label file-system-label)
|
2014-05-21 17:31:46 -04:00
|
|
|
|
|
|
|
(display "mounting partition...\n")
|
|
|
|
(mkdir target-directory)
|
|
|
|
(mount partition target-directory file-system-type)
|
|
|
|
|
|
|
|
(initialize-root-partition target-directory
|
2014-06-27 11:54:29 -04:00
|
|
|
#:system-directory system-directory
|
2014-05-21 17:31:46 -04:00
|
|
|
#:copy-closures? copy-closures?
|
|
|
|
#:register-closures? register-closures?
|
|
|
|
#:closures closures)
|
2014-04-11 12:44:53 -04:00
|
|
|
|
2014-05-21 17:31:46 -04:00
|
|
|
(install-grub grub.cfg device target-directory)
|
2014-04-11 12:44:53 -04:00
|
|
|
|
2014-05-18 13:11:53 -04: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 12:44:53 -04:00
|
|
|
|
2014-05-15 16:55:14 -04:00
|
|
|
(zero? (system* "umount" target-directory)))
|
2014-04-11 12:44:53 -04:00
|
|
|
|
2014-04-11 07:38:11 -04:00
|
|
|
;;; vm.scm ends here
|