|  | // | 
|  | // Copyright (c) 2023 Google LLC | 
|  | // | 
|  | // Licensed under the Apache License, Version 2.0 (the "License"); | 
|  | // you may not use this file except in compliance with the License. | 
|  | // You may obtain a copy of the License at | 
|  | // | 
|  | //     https://www.apache.org/licenses/LICENSE-2.0 | 
|  | // | 
|  | // Unless required by applicable law or agreed to in writing, software | 
|  | // distributed under the License is distributed on an "AS IS" BASIS, | 
|  | // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. | 
|  | // See the License for the specific language governing permissions and | 
|  | // limitations under the License. | 
|  |  | 
|  | // 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 |