2009-06-18 16:16:12 +00:00
|
|
|
# This module creates a virtual machine from the NixOS configuration.
|
|
|
|
# Building the `config.system.build.vm' attribute gives you a command
|
|
|
|
# that starts a KVM/QEMU VM running the NixOS configuration defined in
|
|
|
|
# `config'. The Nix store is shared read-only with the host, which
|
|
|
|
# makes (re)building VMs very efficient. However, it also means you
|
|
|
|
# can't reconfigure the guest inside the guest - you need to rebuild
|
|
|
|
# the VM in the host. On the other hand, the root filesystem is a
|
|
|
|
# read/writable disk image persistent across VM reboots.
|
|
|
|
|
2014-04-14 14:26:48 +00:00
|
|
|
{ config, lib, pkgs, ... }:
|
2009-06-18 16:16:12 +00:00
|
|
|
|
2014-04-14 14:26:48 +00:00
|
|
|
with lib;
|
2018-01-30 09:28:26 +00:00
|
|
|
with import ../../lib/qemu-flags.nix { inherit pkgs; };
|
2009-11-06 21:38:40 +00:00
|
|
|
|
2009-06-19 15:19:56 +00:00
|
|
|
let
|
|
|
|
|
2016-12-15 13:05:54 +00:00
|
|
|
qemu = config.system.build.qemu or pkgs.qemu_test;
|
|
|
|
|
2011-09-14 18:20:50 +00:00
|
|
|
vmName =
|
|
|
|
if config.networking.hostName == ""
|
|
|
|
then "noname"
|
2011-06-21 10:46:21 +00:00
|
|
|
else config.networking.hostName;
|
2009-06-22 14:45:28 +00:00
|
|
|
|
2013-09-04 11:05:09 +00:00
|
|
|
cfg = config.virtualisation;
|
|
|
|
|
2018-05-04 22:11:10 +00:00
|
|
|
qemuGraphics = lib.optionalString (!cfg.graphics) "-nographic";
|
2018-05-05 11:51:04 +00:00
|
|
|
|
2018-05-10 06:10:19 +00:00
|
|
|
consoles = lib.concatMapStringsSep " " (c: "console=${c}") cfg.qemu.consoles;
|
2013-09-04 11:05:09 +00:00
|
|
|
|
2018-04-29 23:43:17 +00:00
|
|
|
# XXX: This is very ugly and in the future we really should use attribute
|
|
|
|
# sets to build ALL of the QEMU flags instead of this mixed mess of Nix
|
|
|
|
# expressions and shell script stuff.
|
|
|
|
mkDiskIfaceDriveFlag = idx: driveArgs: let
|
|
|
|
inherit (cfg.qemu) diskInterface;
|
|
|
|
# The drive identifier created by incrementing the index by one using the
|
|
|
|
# shell.
|
|
|
|
drvId = "drive$((${idx} + 1))";
|
|
|
|
# NOTE: DO NOT shell escape, because this may contain shell variables.
|
2018-09-25 08:41:39 +00:00
|
|
|
commonArgs = "index=${idx},id=${drvId},${driveArgs}";
|
|
|
|
isSCSI = diskInterface == "scsi";
|
|
|
|
devArgs = "${diskInterface}-hd,drive=${drvId}";
|
|
|
|
args = "-drive ${commonArgs},if=none -device lsi53c895a -device ${devArgs}";
|
|
|
|
in if isSCSI then args else "-drive ${commonArgs},if=${diskInterface}";
|
2018-04-29 23:43:17 +00:00
|
|
|
|
2013-09-04 11:05:09 +00:00
|
|
|
# Shell script to start the VM.
|
|
|
|
startVM =
|
|
|
|
''
|
2018-03-01 19:38:53 +00:00
|
|
|
#! ${pkgs.runtimeShell}
|
2013-09-04 11:05:09 +00:00
|
|
|
|
|
|
|
NIX_DISK_IMAGE=$(readlink -f ''${NIX_DISK_IMAGE:-${config.virtualisation.diskImage}})
|
|
|
|
|
|
|
|
if ! test -e "$NIX_DISK_IMAGE"; then
|
2016-12-15 13:05:54 +00:00
|
|
|
${qemu}/bin/qemu-img create -f qcow2 "$NIX_DISK_IMAGE" \
|
2013-09-04 11:05:09 +00:00
|
|
|
${toString config.virtualisation.diskSize}M || exit 1
|
|
|
|
fi
|
|
|
|
|
2015-01-26 20:13:31 +00:00
|
|
|
# Create a directory for storing temporary data of the running VM.
|
2013-09-04 11:05:09 +00:00
|
|
|
if [ -z "$TMPDIR" -o -z "$USE_TMPDIR" ]; then
|
|
|
|
TMPDIR=$(mktemp -d nix-vm.XXXXXXXXXX --tmpdir)
|
|
|
|
fi
|
2015-12-29 15:39:26 +00:00
|
|
|
|
2015-01-26 20:13:31 +00:00
|
|
|
# Create a directory for exchanging data with the VM.
|
2013-09-04 11:05:09 +00:00
|
|
|
mkdir -p $TMPDIR/xchg
|
|
|
|
|
2015-01-26 20:13:31 +00:00
|
|
|
${if cfg.useBootLoader then ''
|
2015-12-29 15:39:26 +00:00
|
|
|
# Create a writable copy/snapshot of the boot disk.
|
|
|
|
# A writable boot disk can be booted from automatically.
|
2016-12-15 13:05:54 +00:00
|
|
|
${qemu}/bin/qemu-img create -f qcow2 -b ${bootDisk}/disk.img $TMPDIR/disk.img || exit 1
|
2015-01-26 20:13:31 +00:00
|
|
|
|
|
|
|
${if cfg.useEFIBoot then ''
|
2015-12-29 15:39:26 +00:00
|
|
|
# VM needs a writable flash BIOS.
|
2015-01-26 20:13:31 +00:00
|
|
|
cp ${bootDisk}/bios.bin $TMPDIR || exit 1
|
|
|
|
chmod 0644 $TMPDIR/bios.bin || exit 1
|
|
|
|
'' else ''
|
|
|
|
''}
|
|
|
|
'' else ''
|
|
|
|
''}
|
|
|
|
|
|
|
|
cd $TMPDIR
|
2013-09-04 11:05:09 +00:00
|
|
|
idx=2
|
|
|
|
extraDisks=""
|
|
|
|
${flip concatMapStrings cfg.emptyDiskImages (size: ''
|
2015-03-05 14:21:57 +00:00
|
|
|
if ! test -e "empty$idx.qcow2"; then
|
2016-12-15 13:05:54 +00:00
|
|
|
${qemu}/bin/qemu-img create -f qcow2 "empty$idx.qcow2" "${toString size}M"
|
2015-03-05 14:21:57 +00:00
|
|
|
fi
|
2018-04-29 23:43:17 +00:00
|
|
|
extraDisks="$extraDisks ${mkDiskIfaceDriveFlag "$idx" "file=$(pwd)/empty$idx.qcow2,werror=report"}"
|
2013-09-04 11:05:09 +00:00
|
|
|
idx=$((idx + 1))
|
|
|
|
'')}
|
|
|
|
|
|
|
|
# Start QEMU.
|
2017-12-06 18:26:22 +00:00
|
|
|
exec ${qemuBinary qemu} \
|
2013-09-04 11:05:09 +00:00
|
|
|
-name ${vmName} \
|
|
|
|
-m ${toString config.virtualisation.memorySize} \
|
2017-04-10 14:50:05 +00:00
|
|
|
-smp ${toString config.virtualisation.cores} \
|
2018-04-28 09:48:06 +00:00
|
|
|
-device virtio-rng-pci \
|
2014-12-19 10:59:00 +00:00
|
|
|
${concatStringsSep " " config.virtualisation.qemu.networkingOptions} \
|
2013-09-04 11:05:09 +00:00
|
|
|
-virtfs local,path=/nix/store,security_model=none,mount_tag=store \
|
|
|
|
-virtfs local,path=$TMPDIR/xchg,security_model=none,mount_tag=xchg \
|
|
|
|
-virtfs local,path=''${SHARED_DIR:-$TMPDIR/xchg},security_model=none,mount_tag=shared \
|
|
|
|
${if cfg.useBootLoader then ''
|
2018-09-25 08:41:39 +00:00
|
|
|
${mkDiskIfaceDriveFlag "0" "file=$NIX_DISK_IMAGE,cache=writeback,werror=report"} \
|
|
|
|
${mkDiskIfaceDriveFlag "1" "file=$TMPDIR/disk.img,media=disk"} \
|
2015-01-26 20:13:31 +00:00
|
|
|
${if cfg.useEFIBoot then ''
|
|
|
|
-pflash $TMPDIR/bios.bin \
|
|
|
|
'' else ''
|
2018-09-25 08:41:39 +00:00
|
|
|
''}
|
|
|
|
'' else ''
|
|
|
|
${mkDiskIfaceDriveFlag "0" "file=$NIX_DISK_IMAGE,cache=writeback,werror=report"} \
|
2013-09-04 11:05:09 +00:00
|
|
|
-kernel ${config.system.build.toplevel}/kernel \
|
|
|
|
-initrd ${config.system.build.toplevel}/initrd \
|
2018-05-10 06:10:19 +00:00
|
|
|
-append "$(cat ${config.system.build.toplevel}/kernel-params) init=${config.system.build.toplevel}/init regInfo=${regInfo}/registration ${consoles} $QEMU_KERNEL_PARAMS" \
|
2013-09-04 11:05:09 +00:00
|
|
|
''} \
|
|
|
|
$extraDisks \
|
|
|
|
${qemuGraphics} \
|
|
|
|
${toString config.virtualisation.qemu.options} \
|
2015-01-26 20:13:31 +00:00
|
|
|
$QEMU_OPTS \
|
2018-03-18 02:28:48 +00:00
|
|
|
"$@"
|
2013-09-04 11:05:09 +00:00
|
|
|
'';
|
|
|
|
|
|
|
|
|
2017-10-25 13:35:45 +00:00
|
|
|
regInfo = pkgs.closureInfo { rootPaths = config.virtualisation.pathsInNixDB; };
|
2013-09-04 11:05:09 +00:00
|
|
|
|
|
|
|
|
|
|
|
# Generate a hard disk image containing a /boot partition and GRUB
|
|
|
|
# in the MBR. Used when the `useBootLoader' option is set.
|
2016-02-09 15:15:57 +00:00
|
|
|
# FIXME: use nixos/lib/make-disk-image.nix.
|
2013-09-04 11:05:09 +00:00
|
|
|
bootDisk =
|
|
|
|
pkgs.vmTools.runInLinuxVM (
|
|
|
|
pkgs.runCommand "nixos-boot-disk"
|
|
|
|
{ preVM =
|
|
|
|
''
|
|
|
|
mkdir $out
|
|
|
|
diskImage=$out/disk.img
|
2015-01-26 20:13:31 +00:00
|
|
|
bootFlash=$out/bios.bin
|
2016-12-15 13:05:54 +00:00
|
|
|
${qemu}/bin/qemu-img create -f qcow2 $diskImage "40M"
|
2015-01-26 20:13:31 +00:00
|
|
|
${if cfg.useEFIBoot then ''
|
2017-05-18 10:46:14 +00:00
|
|
|
cp ${pkgs.OVMF-CSM.fd}/FV/OVMF.fd $bootFlash
|
2015-01-26 20:13:31 +00:00
|
|
|
chmod 0644 $bootFlash
|
|
|
|
'' else ''
|
|
|
|
''}
|
2013-09-04 11:05:09 +00:00
|
|
|
'';
|
|
|
|
buildInputs = [ pkgs.utillinux ];
|
2015-01-26 20:13:31 +00:00
|
|
|
QEMU_OPTS = if cfg.useEFIBoot
|
2018-09-25 08:41:39 +00:00
|
|
|
then "-pflash $out/bios.bin -nographic -serial pty"
|
|
|
|
else "-nographic -serial pty";
|
2013-09-04 11:05:09 +00:00
|
|
|
}
|
|
|
|
''
|
2017-03-04 10:26:11 +00:00
|
|
|
# Create a /boot EFI partition with 40M and arbitrary but fixed GUIDs for reproducibility
|
|
|
|
${pkgs.gptfdisk}/bin/sgdisk \
|
|
|
|
--set-alignment=1 --new=1:34:2047 --change-name=1:BIOSBootPartition --typecode=1:ef02 \
|
|
|
|
--set-alignment=512 --largest-new=2 --change-name=2:EFISystem --typecode=2:ef00 \
|
|
|
|
--attributes=1:set:1 \
|
|
|
|
--attributes=2:set:2 \
|
|
|
|
--disk-guid=97FD5997-D90B-4AA3-8D16-C1723AEA73C1 \
|
|
|
|
--partition-guid=1:1C06F03B-704E-4657-B9CD-681A087A2FDC \
|
|
|
|
--partition-guid=2:970C694F-AFD0-4B99-B750-CDB7A329AB6F \
|
|
|
|
--hybrid 2 \
|
2018-09-25 08:41:39 +00:00
|
|
|
--recompute-chs /dev/vda
|
|
|
|
${pkgs.dosfstools}/bin/mkfs.fat -F16 /dev/vda2
|
2015-01-26 20:13:31 +00:00
|
|
|
export MTOOLS_SKIP_CHECK=1
|
2018-09-25 08:41:39 +00:00
|
|
|
${pkgs.mtools}/bin/mlabel -i /dev/vda2 ::boot
|
2015-01-26 20:13:31 +00:00
|
|
|
|
|
|
|
# Mount /boot; load necessary modules first.
|
2016-08-14 09:57:45 +00:00
|
|
|
${pkgs.kmod}/bin/insmod ${pkgs.linux}/lib/modules/*/kernel/fs/nls/nls_cp437.ko.xz || true
|
|
|
|
${pkgs.kmod}/bin/insmod ${pkgs.linux}/lib/modules/*/kernel/fs/nls/nls_iso8859-1.ko.xz || true
|
|
|
|
${pkgs.kmod}/bin/insmod ${pkgs.linux}/lib/modules/*/kernel/fs/fat/fat.ko.xz || true
|
|
|
|
${pkgs.kmod}/bin/insmod ${pkgs.linux}/lib/modules/*/kernel/fs/fat/vfat.ko.xz || true
|
|
|
|
${pkgs.kmod}/bin/insmod ${pkgs.linux}/lib/modules/*/kernel/fs/efivarfs/efivarfs.ko.xz || true
|
2013-09-04 11:05:09 +00:00
|
|
|
mkdir /boot
|
2018-09-25 08:41:39 +00:00
|
|
|
mount /dev/vda2 /boot
|
2013-09-04 11:05:09 +00:00
|
|
|
|
|
|
|
# This is needed for GRUB 0.97, which doesn't know about virtio devices.
|
|
|
|
mkdir /boot/grub
|
2018-09-25 08:41:39 +00:00
|
|
|
echo '(hd0) /dev/vda' > /boot/grub/device.map
|
2013-09-04 11:05:09 +00:00
|
|
|
|
|
|
|
# Install GRUB and generate the GRUB boot menu.
|
|
|
|
touch /etc/NIXOS
|
|
|
|
mkdir -p /nix/var/nix/profiles
|
|
|
|
${config.system.build.toplevel}/bin/switch-to-configuration boot
|
|
|
|
|
|
|
|
umount /boot
|
2015-06-10 11:14:40 +00:00
|
|
|
'' # */
|
2013-09-04 11:05:09 +00:00
|
|
|
);
|
|
|
|
|
|
|
|
in
|
|
|
|
|
|
|
|
{
|
|
|
|
imports = [ ../profiles/qemu-guest.nix ];
|
|
|
|
|
2009-06-19 15:19:56 +00:00
|
|
|
options = {
|
2011-09-14 18:20:50 +00:00
|
|
|
|
|
|
|
virtualisation.memorySize =
|
2009-12-14 11:15:37 +00:00
|
|
|
mkOption {
|
|
|
|
default = 384;
|
|
|
|
description =
|
|
|
|
''
|
|
|
|
Memory size (M) of virtual machine.
|
|
|
|
'';
|
|
|
|
};
|
2011-09-14 18:20:50 +00:00
|
|
|
|
|
|
|
virtualisation.diskSize =
|
2010-04-29 12:37:26 +00:00
|
|
|
mkOption {
|
|
|
|
default = 512;
|
|
|
|
description =
|
|
|
|
''
|
|
|
|
Disk size (M) of virtual machine.
|
|
|
|
'';
|
|
|
|
};
|
2011-09-14 18:20:50 +00:00
|
|
|
|
2009-06-19 15:19:56 +00:00
|
|
|
virtualisation.diskImage =
|
2009-11-06 21:38:40 +00:00
|
|
|
mkOption {
|
2009-06-22 14:45:28 +00:00
|
|
|
default = "./${vmName}.qcow2";
|
2009-06-19 15:19:56 +00:00
|
|
|
description =
|
|
|
|
''
|
|
|
|
Path to the disk image containing the root filesystem.
|
|
|
|
The image will be created on startup if it does not
|
|
|
|
exist.
|
|
|
|
'';
|
|
|
|
};
|
2011-09-14 18:20:50 +00:00
|
|
|
|
2015-06-10 11:14:40 +00:00
|
|
|
virtualisation.bootDevice =
|
|
|
|
mkOption {
|
|
|
|
type = types.str;
|
2015-06-17 13:40:46 +00:00
|
|
|
example = "/dev/vda";
|
2015-06-10 11:14:40 +00:00
|
|
|
description =
|
|
|
|
''
|
|
|
|
The disk to be used for the root filesystem.
|
|
|
|
'';
|
|
|
|
};
|
|
|
|
|
2013-06-28 02:12:06 +00:00
|
|
|
virtualisation.emptyDiskImages =
|
|
|
|
mkOption {
|
|
|
|
default = [];
|
2013-09-04 13:12:07 +00:00
|
|
|
type = types.listOf types.int;
|
2013-06-28 02:12:06 +00:00
|
|
|
description =
|
|
|
|
''
|
2015-06-10 11:14:40 +00:00
|
|
|
Additional disk images to provide to the VM. The value is
|
|
|
|
a list of size in megabytes of each disk. These disks are
|
|
|
|
writeable by the VM.
|
2013-06-28 02:12:06 +00:00
|
|
|
'';
|
|
|
|
};
|
|
|
|
|
2009-12-15 18:49:34 +00:00
|
|
|
virtualisation.graphics =
|
|
|
|
mkOption {
|
|
|
|
default = true;
|
|
|
|
description =
|
|
|
|
''
|
2018-05-05 11:51:04 +00:00
|
|
|
Whether to run QEMU with a graphics window, or in nographic mode.
|
|
|
|
Serial console will be enabled on both settings, but this will
|
|
|
|
change the preferred console.
|
|
|
|
'';
|
2009-12-15 18:49:34 +00:00
|
|
|
};
|
2009-06-19 15:19:56 +00:00
|
|
|
|
2017-04-10 14:50:05 +00:00
|
|
|
virtualisation.cores =
|
|
|
|
mkOption {
|
|
|
|
default = 1;
|
|
|
|
type = types.int;
|
|
|
|
description =
|
|
|
|
''
|
|
|
|
Specify the number of cores the guest is permitted to use.
|
|
|
|
The number can be higher than the available cores on the
|
|
|
|
host system.
|
|
|
|
'';
|
|
|
|
};
|
|
|
|
|
2010-01-10 01:20:30 +00:00
|
|
|
virtualisation.pathsInNixDB =
|
|
|
|
mkOption {
|
|
|
|
default = [];
|
|
|
|
description =
|
|
|
|
''
|
|
|
|
The list of paths whose closure is registered in the Nix
|
|
|
|
database in the VM. All other paths in the host Nix store
|
|
|
|
appear in the guest Nix store as well, but are considered
|
|
|
|
garbage (because they are not registered in the Nix
|
|
|
|
database in the guest).
|
|
|
|
'';
|
|
|
|
};
|
2010-05-20 21:07:32 +00:00
|
|
|
|
2011-09-14 18:20:50 +00:00
|
|
|
virtualisation.vlans =
|
2010-05-20 21:07:32 +00:00
|
|
|
mkOption {
|
|
|
|
default = [ 1 ];
|
|
|
|
example = [ 1 2 ];
|
|
|
|
description =
|
|
|
|
''
|
|
|
|
Virtual networks to which the VM is connected. Each
|
|
|
|
number <replaceable>N</replaceable> in this list causes
|
|
|
|
the VM to have a virtual Ethernet interface attached to a
|
|
|
|
separate virtual network on which it will be assigned IP
|
|
|
|
address
|
|
|
|
<literal>192.168.<replaceable>N</replaceable>.<replaceable>M</replaceable></literal>,
|
|
|
|
where <replaceable>M</replaceable> is the index of this VM
|
|
|
|
in the list of VMs.
|
|
|
|
'';
|
|
|
|
};
|
|
|
|
|
2011-09-14 18:20:50 +00:00
|
|
|
virtualisation.writableStore =
|
2010-08-24 12:59:16 +00:00
|
|
|
mkOption {
|
2016-12-19 13:16:03 +00:00
|
|
|
default = true; # FIXME
|
2010-08-24 12:59:16 +00:00
|
|
|
description =
|
|
|
|
''
|
|
|
|
If enabled, the Nix store in the VM is made writable by
|
2016-12-21 19:49:08 +00:00
|
|
|
layering an overlay filesystem on top of the host's Nix
|
2010-08-24 12:59:16 +00:00
|
|
|
store.
|
|
|
|
'';
|
|
|
|
};
|
|
|
|
|
2013-08-01 00:10:13 +00:00
|
|
|
virtualisation.writableStoreUseTmpfs =
|
|
|
|
mkOption {
|
|
|
|
default = true;
|
|
|
|
description =
|
|
|
|
''
|
|
|
|
Use a tmpfs for the writable store instead of writing to the VM's
|
|
|
|
own filesystem.
|
|
|
|
'';
|
|
|
|
};
|
|
|
|
|
2010-05-20 21:07:32 +00:00
|
|
|
networking.primaryIPAddress =
|
|
|
|
mkOption {
|
|
|
|
default = "";
|
|
|
|
internal = true;
|
|
|
|
description = "Primary IP address used in /etc/hosts.";
|
|
|
|
};
|
|
|
|
|
2014-12-19 10:59:00 +00:00
|
|
|
virtualisation.qemu = {
|
|
|
|
options =
|
|
|
|
mkOption {
|
2015-12-12 18:01:08 +00:00
|
|
|
type = types.listOf types.unspecified;
|
2014-12-19 10:59:00 +00:00
|
|
|
default = [];
|
|
|
|
example = [ "-vga std" ];
|
|
|
|
description = "Options passed to QEMU.";
|
|
|
|
};
|
|
|
|
|
2018-05-10 06:10:19 +00:00
|
|
|
consoles = mkOption {
|
|
|
|
type = types.listOf types.str;
|
|
|
|
default = let
|
|
|
|
consoles = [ "${qemuSerialDevice},115200n8" "tty0" ];
|
|
|
|
in if cfg.graphics then consoles else reverseList consoles;
|
|
|
|
example = [ "console=tty1" ];
|
|
|
|
description = ''
|
|
|
|
The output console devices to pass to the kernel command line via the
|
|
|
|
<literal>console</literal> parameter, the primary console is the last
|
|
|
|
item of this list.
|
|
|
|
|
|
|
|
By default it enables both serial console and
|
|
|
|
<literal>tty0</literal>. The preferred console (last one) is based on
|
|
|
|
the value of <option>virtualisation.graphics</option>.
|
|
|
|
'';
|
|
|
|
};
|
|
|
|
|
2014-12-19 10:59:00 +00:00
|
|
|
networkingOptions =
|
|
|
|
mkOption {
|
|
|
|
default = [
|
2018-03-12 08:27:43 +00:00
|
|
|
"-net nic,netdev=user.0,model=virtio"
|
2018-03-17 14:21:27 +00:00
|
|
|
"-netdev user,id=user.0\${QEMU_NET_OPTS:+,$QEMU_NET_OPTS}"
|
2014-12-19 10:59:00 +00:00
|
|
|
];
|
|
|
|
type = types.listOf types.str;
|
|
|
|
description = ''
|
|
|
|
Networking-related command-line options that should be passed to qemu.
|
|
|
|
The default is to use userspace networking (slirp).
|
|
|
|
|
2014-12-30 02:31:03 +00:00
|
|
|
If you override this option, be advised to keep
|
2014-12-19 10:59:00 +00:00
|
|
|
''${QEMU_NET_OPTS:+,$QEMU_NET_OPTS} (as seen in the default)
|
|
|
|
to keep the default runtime behaviour.
|
|
|
|
'';
|
|
|
|
};
|
2015-06-17 13:40:46 +00:00
|
|
|
|
|
|
|
diskInterface =
|
|
|
|
mkOption {
|
|
|
|
default = "virtio";
|
|
|
|
example = "scsi";
|
2018-04-29 23:43:17 +00:00
|
|
|
type = types.enum [ "virtio" "scsi" "ide" ];
|
|
|
|
description = "The interface used for the virtual hard disks.";
|
2015-06-17 13:40:46 +00:00
|
|
|
};
|
2018-04-18 02:29:54 +00:00
|
|
|
|
|
|
|
guestAgent.enable =
|
|
|
|
mkOption {
|
|
|
|
default = true;
|
|
|
|
type = types.bool;
|
|
|
|
description = ''
|
|
|
|
Enable the Qemu guest agent.
|
|
|
|
'';
|
|
|
|
};
|
2014-12-19 10:59:00 +00:00
|
|
|
};
|
2010-09-13 12:34:58 +00:00
|
|
|
|
|
|
|
virtualisation.useBootLoader =
|
|
|
|
mkOption {
|
2010-09-13 13:43:53 +00:00
|
|
|
default = false;
|
2010-09-13 12:34:58 +00:00
|
|
|
description =
|
|
|
|
''
|
|
|
|
If enabled, the virtual machine will be booted using the
|
|
|
|
regular boot loader (i.e., GRUB 1 or 2). This allows
|
2010-09-13 13:43:53 +00:00
|
|
|
testing of the boot loader. If
|
2010-09-13 12:34:58 +00:00
|
|
|
disabled (the default), the VM directly boots the NixOS
|
|
|
|
kernel and initial ramdisk, bypassing the boot loader
|
|
|
|
altogether.
|
|
|
|
'';
|
|
|
|
};
|
2011-09-14 18:20:50 +00:00
|
|
|
|
2015-01-26 20:13:31 +00:00
|
|
|
virtualisation.useEFIBoot =
|
|
|
|
mkOption {
|
|
|
|
default = false;
|
|
|
|
description =
|
|
|
|
''
|
|
|
|
If enabled, the virtual machine will provide a EFI boot
|
|
|
|
manager.
|
|
|
|
useEFIBoot is ignored if useBootLoader == false.
|
|
|
|
'';
|
|
|
|
};
|
|
|
|
|
2009-06-19 15:19:56 +00:00
|
|
|
};
|
|
|
|
|
2013-09-04 11:05:09 +00:00
|
|
|
config = {
|
|
|
|
|
2015-06-10 11:14:40 +00:00
|
|
|
boot.loader.grub.device = mkVMOverride cfg.bootDevice;
|
2013-09-04 11:05:09 +00:00
|
|
|
|
|
|
|
boot.initrd.extraUtilsCommands =
|
|
|
|
''
|
|
|
|
# We need mke2fs in the initrd.
|
2016-08-14 09:57:45 +00:00
|
|
|
copy_bin_and_libs ${pkgs.e2fsprogs}/bin/mke2fs
|
2013-09-04 11:05:09 +00:00
|
|
|
'';
|
|
|
|
|
|
|
|
boot.initrd.postDeviceCommands =
|
|
|
|
''
|
|
|
|
# If the disk image appears to be empty, run mke2fs to
|
|
|
|
# initialise.
|
2015-06-10 11:14:40 +00:00
|
|
|
FSTYPE=$(blkid -o value -s TYPE ${cfg.bootDevice} || true)
|
2013-09-04 11:05:09 +00:00
|
|
|
if test -z "$FSTYPE"; then
|
2015-06-10 11:14:40 +00:00
|
|
|
mke2fs -t ext4 ${cfg.bootDevice}
|
2013-09-04 11:05:09 +00:00
|
|
|
fi
|
|
|
|
'';
|
|
|
|
|
|
|
|
boot.initrd.postMountCommands =
|
|
|
|
''
|
2013-10-16 09:36:09 +00:00
|
|
|
# Mark this as a NixOS machine.
|
2013-09-04 11:05:09 +00:00
|
|
|
mkdir -p $targetRoot/etc
|
|
|
|
echo -n > $targetRoot/etc/NIXOS
|
|
|
|
|
|
|
|
# Fix the permissions on /tmp.
|
|
|
|
chmod 1777 $targetRoot/tmp
|
|
|
|
|
|
|
|
mkdir -p $targetRoot/boot
|
2016-12-21 19:49:08 +00:00
|
|
|
|
|
|
|
${optionalString cfg.writableStore ''
|
|
|
|
echo "mounting overlay filesystem on /nix/store..."
|
|
|
|
mkdir -p 0755 $targetRoot/nix/.rw-store/store $targetRoot/nix/.rw-store/work $targetRoot/nix/store
|
|
|
|
mount -t overlay overlay $targetRoot/nix/store \
|
|
|
|
-o lowerdir=$targetRoot/nix/.ro-store,upperdir=$targetRoot/nix/.rw-store/store,workdir=$targetRoot/nix/.rw-store/work || fail
|
|
|
|
''}
|
2013-09-04 11:05:09 +00:00
|
|
|
'';
|
|
|
|
|
|
|
|
# After booting, register the closure of the paths in
|
|
|
|
# `virtualisation.pathsInNixDB' in the Nix database in the VM. This
|
|
|
|
# allows Nix operations to work in the VM. The path to the
|
|
|
|
# registration file is passed through the kernel command line to
|
|
|
|
# allow `system.build.toplevel' to be included. (If we had a direct
|
|
|
|
# reference to ${regInfo} here, then we would get a cyclic
|
|
|
|
# dependency.)
|
|
|
|
boot.postBootCommands =
|
|
|
|
''
|
|
|
|
if [[ "$(cat /proc/cmdline)" =~ regInfo=([^ ]*) ]]; then
|
2016-04-24 10:57:19 +00:00
|
|
|
${config.nix.package.out}/bin/nix-store --load-db < ''${BASH_REMATCH[1]}
|
2013-09-04 11:05:09 +00:00
|
|
|
fi
|
|
|
|
'';
|
|
|
|
|
2015-06-17 13:40:46 +00:00
|
|
|
boot.initrd.availableKernelModules =
|
2016-12-21 19:49:08 +00:00
|
|
|
optional cfg.writableStore "overlay"
|
2018-09-25 08:41:39 +00:00
|
|
|
++ optional (cfg.qemu.diskInterface == "scsi") "sym53c8xx";
|
2015-06-17 13:40:46 +00:00
|
|
|
|
|
|
|
virtualisation.bootDevice =
|
|
|
|
mkDefault (if cfg.qemu.diskInterface == "scsi" then "/dev/sda" else "/dev/vda");
|
|
|
|
|
2013-09-04 11:05:09 +00:00
|
|
|
virtualisation.pathsInNixDB = [ config.system.build.toplevel ];
|
|
|
|
|
2018-03-07 16:28:33 +00:00
|
|
|
# FIXME: Consolidate this one day.
|
|
|
|
virtualisation.qemu.options = mkMerge [
|
|
|
|
(mkIf (pkgs.stdenv.isi686 || pkgs.stdenv.isx86_64) [ "-vga std" "-usb" "-device usb-tablet,bus=usb-bus.0" ])
|
treewide: isArm -> isAarch32
Following legacy packing conventions, `isArm` was defined just for
32-bit ARM instruction set. This is confusing to non packagers though,
because Aarch64 is an ARM instruction set.
The official ARM overview for ARMv8[1] is surprisingly not confusing,
given the overall state of affairs for ARM naming conventions, and
offers us a solution. It divides the nomenclature into three levels:
```
ISA: ARMv8 {-A, -R, -M}
/ \
Mode: Aarch32 Aarch64
| / \
Encoding: A64 A32 T32
```
At the top is the overall v8 instruction set archicture. Second are the
two modes, defined by bitwidth but differing in other semantics too, and
buttom are the encodings, (hopefully?) isomorphic if they encode the
same mode.
The 32 bit encodings are mostly backwards compatible with previous
non-Thumb and Thumb encodings, and if so we can pun the mode names to
instead mean "sets of compatable or isomorphic encodings", and then
voilà we have nice names for 32-bit and 64-bit arm instruction sets
which do not use the word ARM so as to not confused either laymen or
experienced ARM packages.
[1]: https://developer.arm.com/products/architecture/a-profile
2018-03-20 02:41:06 +00:00
|
|
|
(mkIf (pkgs.stdenv.isAarch32 || pkgs.stdenv.isAarch64) [ "-device virtio-gpu-pci" "-device usb-ehci,id=usb0" "-device usb-kbd" "-device usb-tablet" ])
|
2018-03-07 16:28:33 +00:00
|
|
|
];
|
2013-09-04 11:05:09 +00:00
|
|
|
|
2013-10-29 12:04:52 +00:00
|
|
|
# Mount the host filesystem via 9P, and bind-mount the Nix store
|
|
|
|
# of the host into our own filesystem. We use mkVMOverride to
|
|
|
|
# allow this module to be applied to "normal" NixOS system
|
|
|
|
# configuration, where the regular value for the `fileSystems'
|
|
|
|
# attribute should be disregarded for the purpose of building a VM
|
|
|
|
# test image (since those filesystems don't exist in the VM).
|
2014-07-30 13:44:47 +00:00
|
|
|
fileSystems = mkVMOverride (
|
2015-06-10 11:14:40 +00:00
|
|
|
{ "/".device = cfg.bootDevice;
|
2014-07-30 13:44:47 +00:00
|
|
|
${if cfg.writableStore then "/nix/.ro-store" else "/nix/store"} =
|
2013-09-04 11:05:09 +00:00
|
|
|
{ device = "store";
|
|
|
|
fsType = "9p";
|
2017-02-13 11:18:10 +00:00
|
|
|
options = [ "trans=virtio" "version=9p2000.L" "cache=loose" ];
|
2014-07-30 13:44:47 +00:00
|
|
|
neededForBoot = true;
|
2013-09-04 11:05:09 +00:00
|
|
|
};
|
2017-02-03 12:00:34 +00:00
|
|
|
"/tmp" = mkIf config.boot.tmpOnTmpfs
|
|
|
|
{ device = "tmpfs";
|
|
|
|
fsType = "tmpfs";
|
|
|
|
neededForBoot = true;
|
|
|
|
# Sync with systemd's tmp.mount;
|
|
|
|
options = [ "mode=1777" "strictatime" "nosuid" "nodev" ];
|
|
|
|
};
|
2013-09-04 11:05:09 +00:00
|
|
|
"/tmp/xchg" =
|
|
|
|
{ device = "xchg";
|
|
|
|
fsType = "9p";
|
2017-02-13 11:18:10 +00:00
|
|
|
options = [ "trans=virtio" "version=9p2000.L" "cache=loose" ];
|
2013-09-04 11:05:09 +00:00
|
|
|
neededForBoot = true;
|
|
|
|
};
|
|
|
|
"/tmp/shared" =
|
|
|
|
{ device = "shared";
|
|
|
|
fsType = "9p";
|
2015-10-21 17:37:14 +00:00
|
|
|
options = [ "trans=virtio" "version=9p2000.L" ];
|
2013-09-04 11:05:09 +00:00
|
|
|
neededForBoot = true;
|
|
|
|
};
|
2014-07-30 13:44:47 +00:00
|
|
|
} // optionalAttrs (cfg.writableStore && cfg.writableStoreUseTmpfs)
|
|
|
|
{ "/nix/.rw-store" =
|
|
|
|
{ fsType = "tmpfs";
|
2015-10-21 17:37:14 +00:00
|
|
|
options = [ "mode=0755" ];
|
2014-07-30 13:44:47 +00:00
|
|
|
neededForBoot = true;
|
|
|
|
};
|
2013-09-04 11:05:09 +00:00
|
|
|
} // optionalAttrs cfg.useBootLoader
|
|
|
|
{ "/boot" =
|
2015-01-26 20:13:31 +00:00
|
|
|
{ device = "/dev/vdb2";
|
|
|
|
fsType = "vfat";
|
2015-10-21 17:37:14 +00:00
|
|
|
options = [ "ro" ];
|
2013-09-04 11:05:09 +00:00
|
|
|
noCheck = true; # fsck fails on a r/o filesystem
|
|
|
|
};
|
2014-07-30 13:44:47 +00:00
|
|
|
});
|
2013-08-01 00:10:13 +00:00
|
|
|
|
2013-10-29 12:04:52 +00:00
|
|
|
swapDevices = mkVMOverride [ ];
|
2016-05-25 11:23:32 +00:00
|
|
|
boot.initrd.luks.devices = mkVMOverride {};
|
2013-09-04 11:05:09 +00:00
|
|
|
|
|
|
|
# Don't run ntpd in the guest. It should get the correct time from KVM.
|
2016-12-14 22:49:14 +00:00
|
|
|
services.timesyncd.enable = false;
|
2013-09-04 11:05:09 +00:00
|
|
|
|
2018-04-18 02:29:54 +00:00
|
|
|
services.qemuGuest.enable = cfg.qemu.guestAgent.enable;
|
|
|
|
|
2013-09-04 11:05:09 +00:00
|
|
|
system.build.vm = pkgs.runCommand "nixos-vm" { preferLocalBuild = true; }
|
|
|
|
''
|
2014-06-30 12:56:10 +00:00
|
|
|
mkdir -p $out/bin
|
2013-09-04 11:05:09 +00:00
|
|
|
ln -s ${config.system.build.toplevel} $out/system
|
|
|
|
ln -s ${pkgs.writeScript "run-nixos-vm" startVM} $out/bin/run-${vmName}-vm
|
|
|
|
'';
|
|
|
|
|
|
|
|
# When building a regular system configuration, override whatever
|
|
|
|
# video driver the host uses.
|
2014-07-14 12:18:16 +00:00
|
|
|
services.xserver.videoDrivers = mkVMOverride [ "modesetting" ];
|
2013-10-29 12:04:52 +00:00
|
|
|
services.xserver.defaultDepth = mkVMOverride 0;
|
|
|
|
services.xserver.resolutions = mkVMOverride [ { x = 1024; y = 768; } ];
|
2013-09-04 11:05:09 +00:00
|
|
|
services.xserver.monitorSection =
|
|
|
|
''
|
|
|
|
# Set a higher refresh rate so that resolutions > 800x600 work.
|
|
|
|
HorizSync 30-140
|
|
|
|
VertRefresh 50-160
|
|
|
|
'';
|
|
|
|
|
|
|
|
# Wireless won't work in the VM.
|
2013-10-29 12:04:52 +00:00
|
|
|
networking.wireless.enable = mkVMOverride false;
|
2015-01-26 20:13:31 +00:00
|
|
|
networking.connman.enable = mkVMOverride false;
|
2013-09-04 11:05:09 +00:00
|
|
|
|
2014-04-18 00:40:01 +00:00
|
|
|
# Speed up booting by not waiting for ARP.
|
|
|
|
networking.dhcpcd.extraConfig = "noarp";
|
|
|
|
|
2014-04-19 08:13:46 +00:00
|
|
|
networking.usePredictableInterfaceNames = false;
|
|
|
|
|
2013-09-04 11:05:09 +00:00
|
|
|
system.requiredKernelConfig = with config.lib.kernelConfig;
|
|
|
|
[ (isEnabled "VIRTIO_BLK")
|
|
|
|
(isEnabled "VIRTIO_PCI")
|
|
|
|
(isEnabled "VIRTIO_NET")
|
|
|
|
(isEnabled "EXT4_FS")
|
|
|
|
(isYes "BLK_DEV")
|
|
|
|
(isYes "PCI")
|
|
|
|
(isYes "EXPERIMENTAL")
|
|
|
|
(isYes "NETDEVICES")
|
|
|
|
(isYes "NET_CORE")
|
|
|
|
(isYes "INET")
|
|
|
|
(isYes "NETWORK_FILESYSTEMS")
|
|
|
|
] ++ optional (!cfg.graphics) [
|
|
|
|
(isYes "SERIAL_8250_CONSOLE")
|
|
|
|
(isYes "SERIAL_8250")
|
|
|
|
];
|
2009-06-18 16:16:12 +00:00
|
|
|
|
2013-09-04 11:05:09 +00:00
|
|
|
};
|
2009-06-18 16:16:12 +00:00
|
|
|
}
|