No source available for linux-image-2.6.24-xen?

[Todd Deshane]

On Thu, Oct 23, 2008 at 6:23 AM, Chris Smowton
<chris.smowton at cl.cam.ac.uk> wrote:
> Hello,
>
> It seems that the kernel source yielded by an apt-get source
> linux-image.2.6.24-xen is not in fact a Xen kernel? Make oldconfig using
> the config which ships with that image complain of missing symbols
> XEN_BACKEND, XEN_PCI_FRONTEND and so on.
>
> Is the source for that package actually available? If so, why does
> apt-get not deliver it?
>
> I ask because the current Xorg VESA driver exposes a nasty bug (hangs
> during mprotect on a mapped PCI memory range) which I would like to
> attempt to debug, but which I cannot do without the sources available!
>
> Chris

see:
https://lists.ubuntu.com/archives/kernel-team/2008-April/002324.html

Cheers,
Todd

-- 
Todd Deshane
http://todddeshane.net
http://runningxen.com