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