The config file is a TOML formatted file that currently holds the entire configuration for a running instance of DrMem. There aren't too many top-level keys in this file but two of them, driver and logic[^1], are array fields and could be quite large. If these fields were changed to be file names, then the driver configuration would be in a separate file from the base configuration, as would the logic blocks'.
Additionally, tools can be written which generate the driver config or logic config without having to worry about affecting other parts of the configuration.
The config file is a TOML formatted file that currently holds the entire configuration for a running instance of DrMem. There aren't too many top-level keys in this file but two of them,
driver
andlogic
[^1], are array fields and could be quite large. If these fields were changed to be file names, then the driver configuration would be in a separate file from the base configuration, as would the logic blocks'.Additionally, tools can be written which generate the driver config or logic config without having to worry about affecting other parts of the configuration.
[^1]: proposed in #6