# Use the zen kernel
  boot.kernelPackages = pkgs.linuxPackages_zen;