···

       
3
       
3
       
 
       
{ config, pkgs, ... }:

     

       
4
       
4
       
 
       


     

       
5
       
5
       
 
       
{

     

       
6
       
6
       
-
       
  # We're being booted using pv-grub, which means that we need to

     

       
7
       
7
       
-
       
  # generate a GRUB 1 menu without actually installing GRUB.

     

       
8
       
8
       
-
       
  boot.loader.grub.version = 1;

     

       
6
       
6
       
+
       
  boot.loader.grub.version = 2;

     

       
9
       
7
       
 
       
  boot.loader.grub.device = "nodev";

     

       
10
       
10
       
-
       
  boot.loader.grub.extraPerEntryConfig = "root (hd0)";

     

       
11
       
8
       
 
       


     

       
12
       
9
       
 
       
  boot.initrd.kernelModules =

     

       
13
       
10
       
 
       
    [ "xen-blkfront" "xen-tpmfront" "xen-kbdfront" "xen-fbfront"