Having recently studied operating systems in school, I am not so sure the Linux kernel can be used for such a great variety of systems. It is built to support a set of system calls that are tightly coupled with Unix heritage, including its filesystems. You may create a user-level system on top of this, and I do find Inferno interesting for that approach, but you (the parent poster) also dismiss microkernels for their lack of performance.