I might be having a hard time with the Japanese, but my impression is that the plan 9 processes are now also L4 userspace servers. This makes me think they're not running a paravirtualized Plan 9 on L4, but put L4 INTO Plan 9.
The paper I found online said they're currently implementing plan9 as a single server and eventually plan to split it off into multiple servers. Either way, the plan 9 services sit on top of L4. I still dont understand why they necessarily have to be built with the same toolchain that builds the L4 kernel itself. Even if its embedded into the kernel as a root server, shouldn't it be possible to compile it separately and embed the resulting binary? fwiw I haven't peekd at the code.
Dave
Tim Newsham | www.thenewsh.com/~newsham | thenewsh.blogspot.com
