From 4f414fa1d7bf9be6efebfc7d37caef5e1b1e9727 Mon Sep 17 00:00:00 2001
From: Dennis Frieberg <dennis@frieberg.de>
Date: Thu, 5 Oct 2023 00:16:25 +0200
Subject: [PATCH] use the nixpkgs xen module

---
 nixos/roles/default.nix   |  4 ++--
 nixos/roles/xen_guest.nix | 16 ----------------
 2 files changed, 2 insertions(+), 18 deletions(-)
 delete mode 100644 nixos/roles/xen_guest.nix

diff --git a/nixos/roles/default.nix b/nixos/roles/default.nix
index b3156ba..7296a1d 100644
--- a/nixos/roles/default.nix
+++ b/nixos/roles/default.nix
@@ -1,9 +1,9 @@
-{pkgs, config, lib, ...} : {
+{pkgs, config, lib, modulesPath, ...} : {
 
 imports = [
   ./admins.nix
   ./nix_keys.nix
-  ./xen_guest.nix
+  (modulesPath + "/virtualisation/xen-domU.nix")
   ];
 nix = {
   extraOptions = ''
diff --git a/nixos/roles/xen_guest.nix b/nixos/roles/xen_guest.nix
deleted file mode 100644
index f7cef3e..0000000
--- a/nixos/roles/xen_guest.nix
+++ /dev/null
@@ -1,16 +0,0 @@
-{...}: {
-  imports = [ ];
-  boot = {
-    loader.grub = {
-      device = "nodev";
-      enable = true;
-    };
-    initrd = {
-      availableKernelModules = [ "ata_piix" "sr_mod" "xen_blkfront" ];
-      kernelModules = [ ];
-    };
-    extraModulePackages = [ ];
-    tmp.useTmpfs = true;
-  };
-}
-