Synopsis: recent xen3/i386 domu kernel doesn't boot State-Changed-From-To: open->feedback State-Changed-By: bouyer%www.netbsd.org@localhost State-Changed-When: Tue, 15 Jan 2008 20:46:50 +0000 State-Changed-Why: Should be fixed with xen/x86/x86_xpmap.c rev 1.5