| // |
| // Copyright (c) 2024 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. |
| |
| cpu1: MpactCPU.MpactCheriotCPU @ sysbus |
| id: 1 |
| cpuType: "Mpact.Cheriot" |
| endianness: Endianess.LittleEndian |
| memoryBase: 0x80000000 |
| memorySize: 0x10000000 |
| revocationMemoryBase: 0x83000000 |
| // Use the built-in clint to avoid update latency |
| // NB: beware case, these are properties |
| // NB: clint irq's are preset |
| ClintMMRBase: 0x02000000 |
| ClintPeriod: 2000 |
| |
| ram_smc : MpactCPU.MpactPeripheral @ sysbus 0x80000000 |
| size: 0x10000000 |
| baseAddress: 0x80000000 |
| mpactCpu: cpu1 |
| |
| smc_plic: IRQControllers.PlatformLevelInterruptController @sysbus 0x60000000 |
| 0 -> cpu1@11 |
| numberOfSources: 42 |
| numberOfContexts: 1 |
| prioritiesEnabled: false |
| |
