Juan RP f1f93776bd kernel: use CONFIG_KERNEL_GZIP as default for xen dom0.		2012-07-12 01:13:56 +02:00
..
files	kernel: use CONFIG_KERNEL_GZIP as default for xen dom0.	2012-07-12 01:13:56 +02:00
patches
kernel-headers.template	kernel: switch to /usr.	2012-07-09 20:06:40 +02:00
template	kernel: use CONFIG_KERNEL_GZIP as default for xen dom0.	2012-07-12 01:13:56 +02:00