Hi folks, 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? Many thanks, Kir.