#197: Options for overriding mdb entries -------------------------+-------------------------------------------------- Reporter: eschnett | Owner: mthomas Type: enhancement | Status: new Priority: minor | Milestone: Component: SimFactory | Version: Keywords: | -------------------------+-------------------------------------------------- There are currently command line options to override certain mdb entries, e.g. "cpufreq" or "ppn". These options seem superfluous given the "mdbkey" option.