Juan RP be16ecfae8 kernel: x86 .config support.		2011-07-11 16:32:30 +02:00
..
i386-dotconfig	kernel: x86 .config support.	2011-07-11 16:32:30 +02:00
x86_64-dotconfig	kernel: make it use CONFIG_KERNEL_XZ rathern than GZIP, to save some bytes.	2011-05-27 09:13:36 +02:00