ia64/xen-unstable

log

age author revision description
2005-08-11 kaf24 6118:3255b59ab616 Need to reset device model pid on reboot
2005-08-11 kaf24 6117:2b9e3795a523 Support rebooting VMX domains
2005-08-11 kaf24 6116:fb619858dfa9 Handle VMX domains correctly across xend restarts
2005-08-11 kaf24 6115:bf98996dded2 Separate out VMCS host state initialization from the rest
2005-08-11 kaf24 6114:d1034eae9708 Improved error reporting on vmlaunch/vmresume failure.
2005-08-11 kaf24 6113:c9bbfb42ba84 Fix config file parsing for VMX domains.
2005-08-11 kaf24 6112:a5994e258f77 This patch addresses Rustys' [1]suggestions. Most visibly: