{ ... }:

{
  boot.initrd.availableKernelModules = [ "xen_blkfront" ];
  boot.initrd.includeDefaultModules = false;

  systemd.enableEmergencyMode = false;

  # Bitfolk provides its own GRUB, so we need to give it a grub.cfg
  # but don't need to actually install GRUB anywhere.
  boot.loader.grub.enable = true;
  boot.loader.grub.device = "nodev";

  networking.dhcpcd.enable = false;
}