# Common configuration for Xen DomU NixOS virtual machines. { ... }: { boot.loader.grub.version = 2; boot.loader.grub.device = "nodev"; boot.initrd.kernelModules = [ "xen-blkfront" "xen-tpmfront" "xen-kbdfront" "xen-fbfront" "xen-netfront" "xen-pcifront" "xen-scsifront" ]; # Send syslog messages to the Xen console. services.syslogd.tty = "hvc0"; # Don't run ntpd, since we should get the correct time from Dom0. services.timesyncd.enable = false; }