I have been thinking... Now that DragonFlyBSD 1.8 was released today, if I use the MAP_VPAGETABLE facility, I have no immediate need for any in-kernel code. I could simply rely on that for an initial implementation.
Or, I can just leverage DragonFly's VKERNEL to accelerate development.

Well, that has pretty much made up my mind: Matthew Dillon has nearly completed his VKERNEL for DragonflyBSD. Having that available would also be good to accelerate the development of WarpBSD.

No new work done but the DragonflyBSD project has been doing some pretty interesting stuff. However, I still think I should base the work on FreeBSD 4 and develop a more OS/2-alike IFS system instead of the VFS which BSD has.