1.5 Tools

To implement Off++ several tools have been used. They are all you need to build a system image from the on-line source for this document.

• L^ATEX [#!lamport:_latex!#] has been used to typeset documents, including the printed version of the literate source code.
• C++ [#!stroustrup86:_cpp!#] has been the programming language employed. The GNU C and C++ compiler named GCC is the one we use.
• As a support for literate programming, noweb [#!ramsey94:_noweb!#] has proven to be a nice tool.
• The development environment is a GNU based Linux system known as RedHat GNU/Linux.
• Last, but not least (indeed, we should write ``most'') we use the OSKit [#!bford96:_flux_oskit!#] for most of the low-level hardware glue code.

All these tools have been already used in the construction of the original Off prototype.