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.