I would suggest that a better alternative would be to have upstream xen-tools check for a suitable kernel at run-time if one is not specified. Something along the lines of
if (!$kernel) {
$kernel = "/boot/vmlinuz-".`uname -r`
}
While it may not be an ideal choice, at least it's a kernel that we can
be relatively certain will work. Having a hard-coded kernel value in the
config is almost certain to break within a few weeks of a new xen-tools
release.
--
Alex Malinovich
Support Free Software, delete your Windows partition TODAY!
Encrypted mail preferred. You can get my public key from any of the
pgp.net keyservers. Key ID: A6D24837
signature.asc
Description: This is a digitally signed message part

