Documentation

The documentation for the Gemini Nucleus is entered into the CVS. The main document is stored in LyX format. LyX is a graphical front-end for TeX. For more information, please visit the LyX homepage . If you want to participate in the review process, it is necessary to install LyX.

For those of you who just would like to read the documentation, a PDF version is available too. Note that this version might not be entirely up to date. The most recent version is always available from the CVS system.

The Gemini Nucleus design is based on the results of various research projects. Therefore it is encouraged to read some of the results of them. The most important documents concerning the Gemini Nucleus are listed below, but it is recommended to read more.

• The performance of micro-kernel based systems
• The Exokernel Operating System Architecture
• Introduction to capabilities
• Resource Kernels

Here is a list of links to projects that form a basis for the ideas behind the Gemini Nucleus design.

• L3/L4
• Aegis/ExoKernel
• EROS
• Real-time and Multimedia Laboratory

Other interesting documents:

• System Software Research is Irrelevant by Rob Pike (Bell/Lucent/Plan9).