{ config, pkgs, ... }:
let
  kernel =
    with pkgs;
    buildLinux rec {
      version = "6.9.0-rc1";
      modDirVersion = version;
      extraMeta.branch = "6.9";
      src = fetchFromGitLab {
        domain = "gitlab.collabora.com";
        owner = "hardware-enablement/rockchip-3588";
        repo = "linux";
        rev = "b8807d4c1f35361910dadfac9b2d4911fe033f45";
        hash = "sha256-SY1SWr5QqqxkaBXToObO9hTrklbFdJle3r5F26LXqK4=";
      };
    };
in
{
  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.linuxPackagesFor kernel;
    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;
    };
  };
}