ia64/xen-unstable

log

age author revision description
2005-08-09 adsharma 6511:c463720c5439 Need to reset device model pid on reboot
2005-08-09 adsharma 6510:6fb4a79e9f7a Support rebooting VMX domains
2005-08-09 adsharma 6509:4f2364097bd4 Handle VMX domains correctly across xend restarts