Kernel Configuration
From Wsmx-WIKI
The microkernel may be configured via a properties file that is by convention named config.properties and located in the same directory as the kernel. This file is the kernel configuration and it is responsible for several configuration aspects of an instance of the WSMX microkernel, like the location of the systemcodebase, ports for the Web Console and SSH Console, or information on the used space.
