In message <20050824200135.GD16103@netbsd.org>,
Bill Studenmund writes:

>If we run into a problem that is intractable with our formalism, that's
>different. :-) But I don't think we've hit such a thing yet.

Has anyone ever tried to software-virtualize our VFS layer, as done
by, for example, Erez Zadok's FiST tool?

I beleive FiST works on the SunOS-5 VFS layer, but I recall that FiST
for FreeBSD-4 required some patches to rework the FreeBSD-4 vnode API
and/or vnode locking protocol.  

Just curious. Of course, NetBSD isn't FreeBSD-4, but it's an
interesting question. If we can meet that hurdle then our vnode
protocol is in good shape.

--Jonathan