Meanwhile i did post a message on linux-kernel and xen-devel (although i did not see it appear on the latter), refering to this problem report. So far i've seen no responses, and bugzilla.kernel.org still seems to be down.
(see http://article.gmane.org/gmane.linux.kernel/1207316 )
Meanwhile i did post a message on linux-kernel and xen-devel (although i did not see it appear on the latter), refering to this problem report. So far i've seen no responses, and bugzilla.kernel.org still seems to be down. article. gmane.org/ gmane.linux. kernel/ 1207316 )
(see http://