Debian Kernel debuginfo packages ?

To: "debian-kernel@lists.debian.org" <debian-kernel@lists.debian.org>
Subject: Debian Kernel debuginfo packages ?
From: Alok Kataria <akataria@vmware.com>
Date: Mon, 20 Jul 2009 18:16:04 -0700
Message-id: <[🔎] 1248138964.1635.55.camel@ank32.eng.vmware.com>
Reply-to: akataria@vmware.com
In-reply-to: <20090417195137.GC7819@baikonur.stro.at>
References: <1239985935.30383.2.camel@alok-dev1> <20090417172339.GA7819@baikonur.stro.at> <1239990190.30383.11.camel@alok-dev1> <20090417195137.GC7819@baikonur.stro.at>

Hi, 

Is their a place where kernel debug info packages are uploaded for
Debian ? 
I am looking for Debian5r1 kernels "vmlinux" file for use with crash.

Thanks,
Alok

Reply to:

Follow-Ups:
- Re: Debian Kernel debuginfo packages ?
  - From: dann frazier <dannf@dannf.org>

Prev by Date: Bug#516374: INFO: task * blocked for more than 120 seconds. in numerous non-SCHED_IDLE workloads
Next by Date: Re: Debian Kernel debuginfo packages ?
Previous by thread: Bug#516374: INFO: task * blocked for more than 120 seconds. in numerous non-SCHED_IDLE workloads
Next by thread: Re: Debian Kernel debuginfo packages ?
Index(es):
- Date
- Thread