[plug] Debian XEN kernel source package

[Peter F Bradshaw]

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

-- 
Peter F Bradshaw: http://www.exadios.com (public keys avaliable there).
Personal site: http://personal.exadios.com
"I love truth, and the way the government still uses it occasionally to
 keep us guessing." - Sam Kekovich.