42,43c42,43
< mem_mode = "timing")
< system.clock = '1GHz'
---
> mem_mode = "timing",
> clk_domain = SrcClockDomain(clock = '1GHz'))
44a45,48
> # Create a seperate clock domain for components that should run at
> # CPUs frequency
> system.cpu_clk_domain = SrcClockDomain(clock = '2GHz')
>
49c53,54
< cpu.clock = '2GHz'
---
> # All cpus are associated with cpu_clk_domain
> cpu.clk_domain = system.cpu_clk_domain