1// SPDX-License-Identifier: Apache-2.0
2
3using "platforms/cpus/miv.repl"
4
5uart:
6    clockFrequency: 4000000
7
8clint:
9    frequency: 4000000
10
11timer0:
12    clockFrequency: 4000000
13
14timer1:
15    clockFrequency: 4000000
16