Re: Bug#284116: kernel-image-* should include vmlinux
On Wed, 5 Jan 2005 11:13:06 +0100, Juan Cespedes <cespedes@debian.org> said:
> 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?
I think this has been answered; and I do not think this is a
bug in kernel-package.
> (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!).
Now this is for the kernel team to decide.
manoj
--
I want to read my new poem about pork brains and outer space ...
Manoj Srivastava <srivasta@debian.org> <http://www.debian.org/%7Esrivasta/>
1024D/BF24424C print 4966 F272 D093 B493 410B 924B 21BA DABB BF24 424C
Reply to: