// fpga_cw310 target uses different clock frequencies
// https://github.com/lowRISC/opentitan/blob/2fb276797e0dcda96195b1e4617f2aac82a925f0/sw/device/lib/arch/device_fpga_cw310.c
using "sim/renode/platforms/cpus/opentitan-earlgrey.repl"

cpu0:
    PerformanceInMips: 10

rv_timer:
    frequency: 2500000

timer_aon:
    frequency: 250000

// PINMUX            [‘h4046_0000 - ‘h4046_0FFF)   4KB PINMUX
// Use this to silent the pinmux warning messages
pinmux_stub : AddressRangeStub @ sysbus 0x40460000
    size: 0x1000
    value: 0xFFFFFFFF