[plug] Debian XEN kernel source package

[Adrian Woodley]

Which kernel image do you have installed? My Xen box runs Debian on the 
dom0, with the standard linux-image-2.6.18-5-xen-amd64 kernel, which is 
parented by linux-image-2.6-xen-amd64 (will always depend on the current 
kernel).

Adrian

Peter F Bradshaw wrote:
> Hi;
> 
> The standard Debian 2.6.18 source package does not have the headers to support a XEN dom0 kernel.
> 
> Does anybody know if a there is a Debian XEN 2.6 kernel source package out there somewhere?
> 
> Cheers
>