Regenerated

Droidnix/README.org

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