Juan RP 62bc16f0d5 kernel-snapshot: use CONFIG_KERNEL_GZIP as default for xen dom0.		2012-07-12 00:38:36 +02:00
..
files	kernel-snapshot: use CONFIG_KERNEL_GZIP as default for xen dom0.	2012-07-12 00:38:36 +02:00
kernel-snapshot-headers.template	kernel-snapshot: switch to /usr.	2012-07-10 11:13:30 +02:00
template	kernel-snapshot: use CONFIG_KERNEL_GZIP as default for xen dom0.	2012-07-12 00:38:36 +02:00