Re: Where are the 7.1 kernel source files?

[Emmanuel Seyman <seyman moe acticiel com>]

On Thu, Aug 30, 2001 at 08:21:12PM -0300, Ted Gervais wrote:
>
> > You need the file called "kernel-source-2.4.2-*.i386.rpm". I had the same
> > problem after I installed linux for the first time 6 months ago.
>
> What will that give us?  A directory with all the right stuff in it to allow 
> adjustements of the exisitng kernel?  And is that file on one of the disks we 
> have??

the kernel-source rpm contains the source to the linux kernel.
If you install it on your system, you'll find that /usr/src/linux
will contain the source for kernel 2.4.2 .
You can then use this to rebuild a new kernel (you'll probably need to
install the kernel-headers rpm at the same time).

`rpm -qpi kernel-source-2.4.2*` will give you more info about the rpm.
`rpm -qpl kernel-source-2.4.2*` willl tell you what files the rpm contains.

Remove the "p" option and the version number if the rpm is installed.

Emmanuel