nixpkgs/pkgs/os-specific/linux/kernel
Michael Raskin e119bdb5de Enable VGA_SWITCHEROO
svn path=/nixpkgs/trunk/; revision=24667
2010-11-11 21:37:35 +00:00
..
aufs2-34.patch aufs2: patch for kernel 2.6.34 2010-06-08 06:29:02 +00:00
aufs2-35.patch Correct patch for AUFS2 2.6.35.* 2010-08-29 10:37:58 +00:00
aufs2.patch * Get aufs2 and aufs2-util to build against Linux 2.6.32. 2010-05-28 07:09:15 +00:00
builder.sh
cifs-timeout.patch * In the VM tests, apply a patch to increase the 15s timeout on CIFS 2010-06-20 20:52:08 +00:00
config-2.6.31-armv5tel
dell-rfkill.patch * Ensure that the dell-bluetooth device does not stay in the "hard 2010-07-25 12:15:59 +00:00
generate-config.pl Allow override options being required in kernel configuration.. Otherwise modifying significantly config via extraConfig becomes practically impossible. 2010-08-14 09:18:57 +00:00
generic.nix * Add a branch of the Linux kernel that can be used in Xen's Dom0. 2010-09-10 16:27:39 +00:00
guruplug-defconfig.patch Linux: Add GuruPlug-related patches. 2010-09-17 15:56:42 +00:00
guruplug-mach-type.patch Linux: Add GuruPlug-related patches. 2010-09-17 15:56:42 +00:00
linux-2.6.25.nix
linux-2.6.27.nix * Latest kernels. 2010-08-27 08:44:07 +00:00
linux-2.6.28.nix
linux-2.6.29.nix
linux-2.6.31.nix kernel updates and add kernel 2.6.35.1 2010-08-12 16:33:19 +00:00
linux-2.6.32-xen.nix * Update the Xen pvops kernel. 2010-10-07 14:06:44 +00:00
linux-2.6.32.nix * Linux 2.6.32.25. 2010-11-03 20:54:20 +00:00
linux-2.6.33.nix * Kernel updates. 2010-08-04 10:40:25 +00:00
linux-2.6.34.nix update kernels 2010-09-27 20:05:42 +00:00
linux-2.6.35.nix Update Linux 2.6.35 to .35.7 2010-10-06 06:58:05 +00:00
linux-2.6.36.nix Enable VGA_SWITCHEROO 2010-11-11 21:37:35 +00:00
patches.nix * A better fix for the Xen clock problem. 2010-10-26 13:08:51 +00:00
sec_perm-2.6.24.patch
xen-pvclock-resume.patch * A better fix for the Xen clock problem. 2010-10-26 13:08:51 +00:00