{ config, pkgs, ... }: { hardware.deviceTree = { filter = "rk3588-rock-5b.dtb"; overlays = [ { name = "fan"; dtsFile = ./fan.dts; } ]; }; boot = { loader.grub.enable = false; loader.generic-extlinux-compatible.enable = true; kernelPackages = pkgs.linuxPackages_latest; tmp.cleanOnBoot = true; initrd.luks.devices.${config.networking.hostName} = { device = "/dev/disk/by-uuid/b6b4bd3d-d7e1-463e-9a73-6d0f620e914a"; preLVM = true; allowDiscards = true; bypassWorkqueues = true; }; }; }