python/m5/main.py

69     from . import config
126     option("--dump-config", metavar="FILE", default="config.ini",
128     option("--json-config", metavar="FILE", default="config.json",
130     option("--dot-config", metavar="FILE", default="config.dot",
132     option("--dot-dvfs-config", metavar="FILE", default=None,
161     # load the options.py config file to allow people to set their own
163     options_file = config.get('options.py')
191             from IPython.config.loader import Config
197             ipshell = InteractiveShellEmbed(config=cfg, user_ns=scope,