[Debian] Re: vmlinux?

[maximilian attems]

hello Kir,

On Wed, Sep 08, 2010 at 04:46:45PM +0400, Kir Kolyshkin wrote:
> 
> Our OpenVZ kernel guys complained to be that Debian kernel packages
> do not contain vmlinux file (which is usually required to debug some
> problem), and there is no way to get one for a given kernel.
> 
> I guess they are wrong, but can't prove that. Could you please help
> me with that and point out to a location where we can get vmlinux'es
> for the official debian kernels?

they are inside of the debug packages, so for example
linux-image-2.6.32-5-openvz-amd64-dbg should shipp it.

hope that helps?

-- 
maks