The existing DVFS documentation is out of date and has holes in various parts.
As part of , documentation detailing how to add DVFS support to a FS ARM simulation will be produced. This will detail:
Voltage Domains and how to add+configure them
Clock Domains and how to add+configure them
How to add+enable the default DVFS Handler
N.B: I am working on this issue, but due to Jira permissions I am unable to assign myself to it.