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

ml_top_controlblock :
    HostReqIRQ -> smc_plic@33
    FinishIRQ -> smc_plic@34
    InstructionFaultIRQ -> smc_plic@35