Re: [gentoo-user] Where to get the gentoo kernel?

[Jens Reinemuth]

On 13.10.2011 16:16, Michael Mol wrote:
> (At least, I think that's the package name for vanilla sources. I
emerge vanilla-sources