2 commits

Author	SHA1	Message	Date
Juan RP	05f1c8ded8	linux3.8: update x86 config for 3.8.12.	2013-05-08 09:45:03 +02:00
Juan RP	071abd6766	Rename kernel pkg to linux3.8 and update it to 3.8.10.	2013-04-29 11:23:00 +02:00