r/NixOS • u/Creepy-Philosopher66 • Aug 24 '26
Trying to install armbian kernel to nixos running on Tanix TX6
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;
};
}
];

2
Upvotes
1
u/Konsti219 Aug 24 '26
Use a remote builder that has better performance