xbt_cfg_register_string("plugin/dvfs/governor", "performance", nullptr,
"Which Governor should be used that adapts the CPU frequency?");
}
xbt_cfg_register_string("plugin/dvfs/governor", "performance", nullptr,
"Which Governor should be used that adapts the CPU frequency?");
}