Re: Bug#284116: kernel-image-* should include vmlinux
On Tue, Dec 14, 2004 at 05:37:41PM +0100, Juan Cespedes wrote:
> On Tue, Dec 14, 2004 at 08:03:15AM -0800, Manoj Srivastava wrote:
> > I disagree. People who want the bare vmlinux can use the
> > configuration option install_vmlinux to get the debugging symbols
> > they need
>
> I could recompile my own kernel to create my vmlinux, but unless I use
> exactly the same enviroment (gcc, etc), the resulting vmlinux will not
> match the kernels shipped with Debian, and that's what I need.
>
> I don't know what is the best solution for this, but I would really
> like to have access to the vmlinux used to generate our kernels...
Is anyone willing to give me an answer for this? Should I just reopen
the bug report until sonething is done?
(Abstract: I need access to the vmlinux used to generate Debian
shipped kernels; I am not asking for inclusion of vmlinux in the
packages, but for having them available somewhere (other package?
FTP site? I don't mind!).
--
.+'''+. .+'''+. .+'''+. .+'''+. .+''
Juan Cespedes / \ / \ cespedes@debian.org
.+' `+...+' `+...+' `+...+' `+...+'
Reply to: