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
2005-08-09 adsharma 6508:5b239652c912 Improved error reporting on vmlaunch/vmresume failure.
2005-08-09 adsharma 6507:e4ad3feadd4e Support VCPU migration
2005-08-09 adsharma 6506:b370beb3e107 Separate out VMCS host state initialization from the rest
2005-08-09 adsharma 6505:d481d2776e89 Add a hook to support CPU migration for VMX domains