nixpkgs/pkgs/os-specific/linux/zen-kernel
..
2.6.32-zen4.nix
2.6.33-zen1.nix