Configuration process

JNode has a number of configuration options that can be adjusted prior to performing a build. This section describes those options, the process of configuring those options, and the tools that support the process.

JNode is currently configured by copying the "jnode.properties.dist" file to "jnode.properties" and editing this and other configuration files using a text editor.

In the future, we will be moving to a new command-line tool that interactively captures configuration settings, and creates or updates the various configuration files.