Hello list! The Mini-OS build once again broke, this time since vcpu_data became vcpu_info and that XEN_VER in the __xen_guest section changed slightly. I''ve modified the mini-os so that it at least compiles and boots again. -- // Simon _______________________________________________ Xen-devel mailing list Xen-devel@lists.xensource.com http://lists.xensource.com/xen-devel