Exopc Exokernel DistributionThe current exopc distribution contains the entire source tree for the XOK kernel, ExOS library operating system, and assorted user-level programs and tools for building the system. OpenBSD or Linux with libc6 is required to build the system and only certain disk and ethernet controllers are supported. It was written by a variety of people over the past four years under DARPA sponsorship. Current
