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

Attachment: signature.asc
Description: This is a digitally signed message part

Reply via email to