The Core4 kernel has a small 4kB configuration space. This space is used for configuration data that must be accessible very early in the startup process.
The kernel config is stored in non-volatile flash memory. A backup of the previous data is made whenever new values are written to the kernel config. Should writing of any new data fail, (e.g. due to a power failure), the previous values are reused. Error correcting codes are used to protect against flash chip failure.
Config data is organized in a tree of sections and values.
Sample view of a configuration in Core4Manager