Xen 3.0?

Hi. The FreeBSD and Xen 3.0 page hasn't been updated in a while and
searching the mailing lists came up empty. I saw that possibly there
was some progress during the SoC but nothing definitive.

At: http://www.fsmware.com/xenofreebsd/7.0/download/

You can download a fairly functional 7.x kernel but its from January 12,
2006. Does anyone have a more recent one? The code tarball from 6/1/06
(also posted there) doesn't seem to allow a kernel to be compiled
cleanly.

Any chance that http://www.fsmware.com/xenofreebsd/7.0/STATUS could be
updated to include something more definitive than "This work has
currently been deprioritized somewhat"? What's the future looking like?

Thanks.

-Steve