1// Copyright (c) 2023 Meta
2// SPDX-License-Identifier: Apache-2.0
3
4flash: Memory.MappedMemory @ sysbus 0x80000000
5    size: 0x400000
6
7ddr: Memory.MappedMemory @ sysbus 0x80400000
8    size: 0x400000
9
10uart0: UART.NS16550 @ sysbus 0x10000000
11    IRQ -> plic0@10
12
13uart1: UART.NS16550 @ sysbus 0x10000100
14    IRQ -> plic1@10
15
16cpu: CPU.RiscV32 @ sysbus
17    cpuType: "rv32imac_zicsr_zifencei"
18    privilegeArchitecture: PrivilegeArchitecture.Priv1_10
19    timeProvider: clint
20
21plic0: IRQControllers.PlatformLevelInterruptController @ sysbus 0x0C000000
22    0 -> cpu@11
23    numberOfSources: 1023
24    numberOfContexts: 1
25
26plic1: IRQControllers.PlatformLevelInterruptController @ sysbus 0x08000000
27    0 -> cpu@4
28    numberOfSources: 1023
29    numberOfContexts: 1
30
31clint: IRQControllers.CoreLevelInterruptor  @ sysbus 0x02000000
32    [0,1] -> cpu@[3,7]
33    frequency: 4000000
34