Regenerated

Droidnix/README.org

@@ -228,39 +228,44 @@ in
 
 ** =generated/hosts/traveldroid/boot.nix=
 #+BEGIN_SRC nix :tangle generated/hosts/traveldroid/boot.nix :noweb tangle :mkdirp yes :eval never-html
-{ config, pkgs, lib, flakeRoot, ... }:
+{ pkgs, config, lib, flakeRoot, ... }:
 
 {
+  ############################
+  # Bootloader (GRUB)
+  ############################
   boot.loader = {
-    systemd-boot.enable = true;
-    efi.canTouchEfiVariables = true;
-    efi.efiSysMountPoint = "/boot";
-    timeout = 5;
+    grub = {
+      enable = true;
+      efiSupport = true;
+      devices = [ "nodev" ]; # pas aan naar je echte EFI-device indien nodig
+      useOSProber = true;
+      timeout = 5;
+    };
   };
 
+  ############################
+  # Kernel / boot settings
+  ############################
   boot.kernelPackages = pkgs.linuxPackages_latest;
 
   boot.kernelParams = [
     "quiet"
-    "splash"
+    "splash"                 # REQUIRED for Plymouth
     "udev.log_level=3"
     "rd.systemd.show_status=false"
   ];
 
   boot.consoleLogLevel = 0;
-  boot.initrd.systemd.enable = true;
-  boot.initrd.availableKernelModules = [
-    "xhci_pci"
-    "nvme"
-    "usb_storage"
-    "sd_mod"
-    "rtsx_usb_sdmmc"
-  ];
-  boot.kernelModules = [ "kvm-intel" ];
+  boot.supportedFilesystems = [ "ntfs" ];
 
+  ############################
+  # Plymouth
+  ############################
   boot.plymouth = {
     enable = true;
     theme = "rings";
+
     themePackages = [
       (pkgs.adi1090x-plymouth-themes.override {
         selected_themes = [ "rings" ];
@@ -268,8 +273,7 @@ in
     ];
   };
 
-  hardware.cpu.intel.updateMicrocode = lib.mkDefault config.hardware.enableRedistributableFirmware;
-  nixpkgs.hostPlatform = lib.mkDefault "x86_64-linux";
+  boot.initrd.systemd.enable = true;
 }
 #+END_SRC