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.