{ config, pkgs, ... }:
let
  kernel =
    with pkgs;
    buildLinux rec {
      version = "6.12.0-rc1";
      modDirVersion = version;
      extraMeta.branch = "6.12";
      src = fetchFromGitLab {
        domain = "gitlab.collabora.com";
        owner = "hardware-enablement/rockchip-3588";
        repo = "linux";
        rev = "f877edfb4bdb696174f87de9d162d179c03fe57e";
        hash = "sha256-X+UIg62BmE4gtrGvUG7eJj3GiSLxcbQ2N9nJ57lye4w=";
      };
    };
in
{
  hardware.deviceTree.filter = "rk3588-rock-5b.dtb";

  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;
    };
  };
}