And as a note, I don't think it is a good idea to start this mess all over again, by packaging 4.1 outside of the Debian packages. Sure, it'll get Xen 4.1 in faster, but it will most likely end up in the same situation as we are in now.
And as a note, I don't think it is a good idea to start this mess all over again, by packaging 4.1 outside of the Debian packages. Sure, it'll get Xen 4.1 in faster, but it will most likely end up in the same situation as we are in now.