Rickard Nilsson c44d8970ea raspberrypi-kernel: Updated to latest version as of 20130826 (rev 7849605f5a)		2013-08-27 12:30:47 +02:00
..
builder.sh	linux: Use kmod instead of module-init-tools	2013-08-09 18:48:51 +02:00
common-config.nix	linux: really provide /proc/config.gz	2013-08-16 23:12:07 +02:00
generate-config.pl	linux: properly parse config choice when it's new	2013-08-06 02:20:48 +00:00
generic.nix	linux: Use kmod instead of module-init-tools	2013-08-09 18:48:51 +02:00
linux-3.0.nix	Unify the Linux kernel configurations	2013-08-01 01:40:40 +02:00
linux-3.2.nix	linux: Update to 3.2.50	2013-08-05 18:19:48 +00:00
linux-3.4.nix	linux: Update to 3.4.59	2013-08-26 22:55:54 +02:00
linux-3.9.nix	Unify the Linux kernel configurations	2013-08-01 01:40:40 +02:00
linux-3.10.nix	linux-3.10: upgrade to 3.10.9	2013-08-21 11:22:33 +02:00
linux-rpi-3.6.nix	raspberrypi-kernel: Updated to latest version as of 20130826 (rev 7849605f5a)	2013-08-27 12:30:47 +02:00
linux.upstream.template
manual-config.nix
mips-ext3-n32.patch
mips-fpu-sigill.patch
mips-fpureg-emulation.patch
no-xsave.patch
patches.nix	linux-3.10: remove the btrfs send patch	2013-08-19 07:04:18 +02:00
perf.nix	fix bug in perf-linux installation, oops	2013-07-21 19:25:05 +02:00
sec_perm-2.6.24.patch