We have accomplished the most challenging aspects of this project. We are now able to generate a stand-alone multi-threaded micro-kernel. Although two of the original project goals---user processes and the file system---were not achieved, this project is still an overwhelming success and substantial accomplishment. At this point we can run multiple threads within the kernel. As demonstrated in the recent networks assignment, much can be done with kernel multi-threading alone.
In the process of accomplishing our goals, we have developed a library based and a thoroughly automated approach to converting FreeBSD UNIX processes into stand-alone systems. This work can be used to leverage further improvements or possibly the development of a similar micro-kernel for embedded systems. Many of the basic difficulties common to such projects have now been been dealt with, enabling future successful development.