Fix ochsenchopf configuration

home-modules/applications/codium.nix

@@ -4,7 +4,7 @@
   programs.vscode = {
     enable = true;
     package = pkgs.vscodium;
-    extensions = with pkgs.vscode-extensions; [
+    profiles.default.extensions = with pkgs.vscode-extensions; [
       mkhl.direnv
       jnoortheen.nix-ide
     ];

nixos-configurations/ochsenchopf/default.nix

@@ -4,27 +4,8 @@
   imports = [
     ./filesystems.nix
     ./networking.nix
-
-    # TODO: Hardware
-
   ];
-
-  virtualisation = {
-    # TODO: This should probably be somewhere else.
-    docker = {
-      enable = true;
-      enableOnBoot = false;
-    };
-    libvirtd.enable = true;
-    spiceUSBRedirection.enable = true;
-  };
-  users.extraUsers.fhauser.extraGroups = [ "libvirtd" ];
-
-  boot.extraModprobeConfig = ''
-    options kvm_intel nested=1
-    options kvm_intel emulate_invalid_guest_state=0
-    options kvm ignore_msrs=1
-  '';
+  facter.reportPath = ./facter.json; # TODO: Update
 
   # This value determines the NixOS release from which the default
   # settings for stateful data, like fi:le locations and database versions
@@ -32,5 +13,5 @@
   # this value at the release version of the first install of this system.
   # Before changing this value read the documentation for this option
   # (e.g. man configuration.nix or on https://nixos.org/nixos/options.html).
-  system.stateVersion = "24.05"; # Did you read the comment?
+  system.stateVersion = "24.11"; # Did you read the comment?
 }

nixos-configurations/ochsenchopf/filesystems.nix

@@ -31,12 +31,5 @@
 
   swapDevices = [ { device = "/dev/disk/by-label/swap"; } ];
 
-  # Use the systemd-boot EFI boot loader.
-  boot.loader.systemd-boot.enable = lib.mkForce false;
-  boot.loader.efi.canTouchEfiVariables = true;
-
-  boot.lanzaboote = {
-    enable = true;
-    pkiBundle = "/etc/secureboot";
-  };
+  boot.lanzaboote.pkiBundle = lib.mkForce "/etc/secureboot"; # TODO: Migrate to /var/lib/sbctl, see default config.
 }