| // Copyright (c) 2023 Meta |
| // SPDX-License-Identifier: Apache-2.0 |
| |
| flash: Memory.MappedMemory @ sysbus 0x80000000 |
| size: 0x400000 |
| |
| ddr: Memory.MappedMemory @ sysbus 0x80400000 |
| size: 0x400000 |
| |
| uart0: UART.NS16550 @ sysbus 0x10000000 |
| IRQ -> plic0@10 |
| |
| uart1: UART.NS16550 @ sysbus 0x10000100 |
| IRQ -> plic1@10 |
| |
| cpu: CPU.RiscV32 @ sysbus |
| cpuType: "rv32imac_zicsr_zifencei" |
| privilegeArchitecture: PrivilegeArchitecture.Priv1_10 |
| timeProvider: clint |
| |
| plic0: IRQControllers.PlatformLevelInterruptController @ sysbus 0x0C000000 |
| 0 -> cpu@11 |
| numberOfSources: 1023 |
| numberOfContexts: 1 |
| |
| plic1: IRQControllers.PlatformLevelInterruptController @ sysbus 0x08000000 |
| 0 -> cpu@4 |
| numberOfSources: 1023 |
| numberOfContexts: 1 |
| |
| clint: IRQControllers.CoreLevelInterruptor @ sysbus 0x02000000 |
| [0,1] -> cpu@[3,7] |
| frequency: 4000000 |