We have built several exokernel based systems. The newest exokernel
is XOK, which runs on PC hardware, and ExOS, our first library operating
system (libos). The ExOS library provides a user-level and extensible implementation
of an UNIX operating system. Most UNIX applications like gcc, perl, and
telnet compile and work without changes using ExOS. Further, measurements
of application performance show that ExOS performs at least as well as
OpenBSD and FreeBSD and much better when using specialized libos's. For
example, the Cheetah web server built on top of XOK performs eight times
faster than NCSA or Harvest.
Check out a slide-show about exokernels on our documentation page.
An alpha-release of our exopc distribution is currently available. It contains all source and tools required to build and boot the entire system on a pc. We hope that by making the exopc distribution publicly available we can interest the 'net community at large in developing and using exokernels.
For more information on exokernels and related projects see the home pages of the Parallel and Distributed Operating Systems group at the MIT Lab for Computer Science. Papers can be found at the PDOS papers page.
Last updated by Marc 5, 1998.