From 6dca23b9790f67be2a8beae16042879174161172 Mon Sep 17 00:00:00 2001
From: Antoine Viallon <antoine@lesviallon.fr>
Date: Tue, 7 Nov 2023 21:46:26 +0100
Subject: [PATCH] [Desktop/Developer] allow disabling host virtualization
 services

---
 desktop/developer.nix | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/desktop/developer.nix b/desktop/developer.nix
index 598b7ef..d705fa8 100644
--- a/desktop/developer.nix
+++ b/desktop/developer.nix
@@ -6,6 +6,7 @@ let
 in {
   options.aviallon.developer = {
     enable = mkEnableOption "enable developer mode on this machine";
+    virtualization.host.enable = (mkEnableOption "hypervisor virtualization services") // { default = true; };
     virtualbox.unstable = mkEnableOption "use unstable virtualbox";
   };
   config = mkIf cfg.enable {
@@ -71,7 +72,7 @@ in {
       man.enable = true;
     };
 
-    virtualisation.libvirtd = {
+    virtualisation.libvirtd = mkIf cfg.virtualization.host.enable {
       enable = true;
       onBoot = "ignore"; # We are doing development, not a server
       qemu = {
@@ -89,7 +90,7 @@ in {
     virtualisation.spiceUSBRedirection.enable = true; # Quality of life
     security.virtualisation.flushL1DataCache = "never"; # We do not care, we are on a dev platform
 
-    virtualisation.virtualbox = {
+    virtualisation.virtualbox = mkIf cfg.virtualization.host.enable {
       host.enable = true;
       host.enableExtensionPack = true;
       host.enableHardening = false; # Causes kernel build failures