On Mon, Dec 24, 2012 at 04:05:44PM +0100, Teodor Spæren wrote: > > The possible work around I have thought of is just getting the vanilla kernel > from kernel.org, but the gentoo wiki advise against it, since gentoo-sources > is a patched kernel.
With all due respect, Gentoo is the only distro using a Gentoo patched kernel. It's not really necessary, and NONE of the 8 comps in our shop runs any of the gentoo provided kernel sources. Just get the kernel.org of your choice and: mingdao@baruch ~/kernel $ wget http://www.kernel.org/pub/linux/kernel/v3.0/linux-3.4.24.tar.bz2 Change the version for whichever one you desire. -- Happy Penguin Computers >') 126 Fenco Drive ( \ Tupelo, MS 38801 ^^ supp...@happypenguincomputers.com 662-269-2706 662-205-6424 http://happypenguincomputers.com/ Don't top-post: http://en.wikipedia.org/wiki/Top_post#Top-posting
