Maybe, but I *am* working on a scalable and forward looking kernel that will perform about the same as a conventional kernel, except where the conventional kernel doesn't perform well at all. The abstractions that we are working on, work both on PC's, on SMP PC's, multiple machines (acting essentially as one machine), and even heterogeneous machines (in a limited fashion.)