/pkgs/os-specific/linux/zen-kernel/

• ../
• 2.6.32-zen4.nix
• 2.6.33-zen1.nix