| using "sim/config/platforms/nexus_smc.repl" |
| using "sim/config/platforms/secure.repl" |
| using "sim/config/platforms/kelvin.repl" |
| |
| // To model the TLUL mailbox spec, we need a Renode peripheral that listens |
| // to address ranges for both endpoints of the mailbox. This is the current |
| // best way to do that, per Renode dev's recommendations. |
| |
| mailbox : Mailbox @ { |
| sysbus new Bus.BusMultiRegistration { |
| address: 0x40800000; // TOP_MATCHA_MAILBOX_SEC_BASE_ADDR |
| size: 0x28; |
| region: "endpoint_a" |
| }; |
| sysbus new Bus.BusMultiRegistration { |
| address: 0x540F1000; // TOP_MATCHA_MAILBOX_SMC_BASE_ADDR |
| size: 0x28; |
| region: "endpoint_b" |
| } |
| } |
| endpoint_a_name: "SEC" |
| endpoint_b_name: "SMC" |
| wtirq_A -> plic@187 // kTopMatchaPlicIrqIdMailboxSecWtirq |
| rtirq_A -> plic@188 // kTopMatchaPlicIrqIdMailboxSecRtirq |
| eirq_A -> plic@189 // kTopMatchaPlicIrqIdMailboxSecEirq |
| wtirq_B -> smc_plic@30 // kTopMatchaPlicIrqIdMailboxSmcWtirq |
| rtirq_B -> smc_plic@31 // kTopMatchaPlicIrqIdMailboxSmcRtirq |
| eirq_B -> smc_plic@32 // kTopMatchaPlicIrqIdMailboxSmcEirq |
| |
| // ISP [‘h4200_0000 - ‘h4200_FFFF) 64KB ISP registers |
| // DMA Ctrl [‘h4201_0000 - ‘h4201_FFFF) 64KB DMA control interface |
| // DSP Ctrl [‘h4202_0000 - ‘h4202_FFFF) 64KB Audio DSP control interface |
| |
| vec_controlblock : @ sysbus 0x5C000000 |
| HostReqIRQ -> smc_plic@33 |
| FinishIRQ -> smc_plic@34 |
| InstructionFaultIRQ -> smc_plic@35 |
| DataFaultIRQ -> smc_plic@36 |
| |
