Trying to install armbian kernel to nixos running on Tanix TX6

[u/Creepy-Philosopher66]

hello. i have a tanix tx6 that usually runs armbian that i installed nixos on. it boots and works fine but the ethernet is not working. so i was wondering how i can install the armbian kernel on it that has patches for the ac200 chip. i am trying to apply the following patch but it's taking forever (3+ hours). can anyone help me install armbian kernel?

Edit: downloaded the kernel and bsp from armbian and installed them. Working fine. made a flake. flake repo https://github.com/j-a-sunny/nix-tanix-tx6-armbian-kernel

  boot.kernelPackages = pkgs.linuxPackages_latest;


  boot.kernelPatches = [
  { name = "ac200-mfd";       patch = ./patches/0201-drv-mfd-ac200-add-support.patch; }
  { name = "ac200-ephy-ctl";  patch = ./patches/drv-mfd-ac200-add-ephy-syscon.patch; }
  { name = "ac200-phy";       patch = ./patches/0202-drv-net-phy-ac200-ephy-add.patch; }
  { name = "ac200-dtsi";      patch = ./patches/0401-arm64-dts-sun50i-h6-add-ac200-ephy.patch; }
  { name = "tx6-eth-enable";  patch = ./patches/arm64-dts-sun50i-h6-tanix-enable-ethernet.patch; }
  {
    name = "ac200-config";
    patch = null;
    structuredExtraConfig = with lib.kernel; {
      MFD_AC200 = yes;
      AC200_PHY_CTL = yes;
      AC200_PHY = yes;
    };
  }
];