From: Kevin Avila (kevin@cache-computing.com)

Just wanted to let you know that we bit-the-bullet and have released the
InfiniteOS source code to the public. The source can be found at
http://www.cache-computing.com.