2010-10-05 17:44:40 +02:00
|
|
|
# Common configuration for Xen DomU NixOS virtual machines.
|
|
|
|
|
2018-07-20 22:56:59 +02:00
|
|
|
{ ... }:
|
2010-10-05 17:44:40 +02:00
|
|
|
|
|
|
|
{
|
2017-02-12 20:53:49 +01:00
|
|
|
boot.loader.grub.version = 2;
|
2010-10-05 17:44:40 +02:00
|
|
|
boot.loader.grub.device = "nodev";
|
|
|
|
|
2015-01-29 09:58:28 +01:00
|
|
|
boot.initrd.kernelModules =
|
|
|
|
[ "xen-blkfront" "xen-tpmfront" "xen-kbdfront" "xen-fbfront"
|
|
|
|
"xen-netfront" "xen-pcifront" "xen-scsifront"
|
|
|
|
];
|
2010-10-05 17:44:40 +02:00
|
|
|
|
|
|
|
# Send syslog messages to the Xen console.
|
|
|
|
services.syslogd.tty = "hvc0";
|
|
|
|
|
2010-10-06 22:22:36 +02:00
|
|
|
# Don't run ntpd, since we should get the correct time from Dom0.
|
2016-12-14 23:49:14 +01:00
|
|
|
services.timesyncd.enable = false;
|
2010-10-05 17:44:40 +02:00
|
|
|
}
|