Re-build of 9xenpccpuf, the PV Xen guest kernel built from sources at /n/sources/xen/xen3/9), with latest changes in sys/src/9/port/, sys/src/libc/ and others - resulted in non-functional kernel: it dies on boot with attached diagnostics. I haven't looked further yet.
<<attachment: xen.png>>
