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